◀

Filter checks

Passed  
Failed  
Warning  
Not Run  
Justified  
Incomplete  
   

Navigation

Model Advisor
1 By Product
1.1 Embedded Coder
1.2 Simulink
1.3 Simulink Coder
1.4 AUTOSAR Blockset
1.5 HDL Coder
1.5.1 Checks for blocks and block settings
1.5.2 Industry standard checks
1.5.3 Model configuration checks
1.5.4 Checks for ports and subsystems
1.5.5 Native Floating Point checks
1.6 Simscape
1.7 Simulink PLC Coder
1.7.1 Industry standard checks
1.7.2 Checks for blocks and block settings
1.7.3 Model configuration checks
1.8 Simulink Check
1.8.1 Modeling Standards
1.8.1.1 DO-178C/DO-331 Checks
1.8.1.2 IEC 61508, IEC 62304, ISO 26262, ISO 25119, EN 50128 and EN 50657 Checks
1.8.1.3 MAB Checks
1.8.1.4 JMAAB v5.1 Checks
1.8.1.5 JMAAB v6 Checks
1.8.2 Model Metrics
1.8.3 Clone Detection and Model Refactoring
1.9 Simulink Code Inspector
1.10 Requirements Toolbox
1.10.1 Requirements Consistency
1.11 Simulink Design Verifier
1.11.1 Design Error Detection
1.12 Simulink Control Design
2 By Task
2.1 Modeling Physical Systems
2.2 Replacing Blocks That Will Be Removed
2.3 Inherit from Simulink.VariantControl
2.4 Simulink PLC Coder
2.4.1 Model configuration checks
2.4.2 Checks for blocks and block settings
2.4.3 Industry standard checks
2.5 Simulation Accuracy
2.6 Simulation Runtime Accuracy Diagnostics
2.7 Managing Data Store Memory Blocks
2.8 Simulink Model File Integrity
2.9 S-function Checks
2.10 Units Inconsistencies
2.11 Modeling Signals and Parameters using Buses
2.12 Code Generation Efficiency
2.13 Modeling Single-Precision Systems
2.14 Migrating to Simplified Initialization mode
2.15 Row-Major Code Generation
2.16 Model Referencing
2.17 Managing Library Links And Variants
2.18 Data Transfer Efficiency
2.19 Modeling Standards for MISRA C:2012
2.20 Modeling Standards for Secure Coding (CERT C, CWE, ISO/IEC TS 17961)
2.20.1 High-Integrity Systems
2.20.1.1 Simulink
2.20.1.2 Configuration
2.20.1.3 Naming
2.20.1.4 Code
2.21 Upgrading to the Current Simulink Version
2.22 Component Deployment Guidelines for Service Interface
2.23 Modeling Standards for DO-178C/DO-331
2.23.1 High-Integrity Systems
2.23.1.1 Simulink
2.23.1.2 Stateflow
2.23.1.3 MATLAB
2.23.1.4 Configuration
2.23.1.5 Naming
2.23.1.6 Requirements
2.23.1.7 Code
2.23.2 Simulink
2.23.3 Library Links
2.23.4 Requirements Consistency
2.24 Modeling Standards for DO-254
2.24.1 High-Integrity Systems
2.24.1.1 Simulink
2.24.1.2 Stateflow
2.24.1.3 MATLAB
2.24.1.4 Configuration
2.24.1.5 Naming
2.24.1.6 Requirements
2.24.2 Library Links
2.24.3 Requirements Consistency
2.24.4 HDL Coder
2.24.4.1 Checks for blocks and block settings
2.24.4.2 Industry standard checks
2.24.4.3 Model configuration checks
2.24.4.4 Native Floating Point checks
2.24.4.5 Checks for ports and subsystems
2.25 Modeling Standards for IEC 61508
2.25.1 High-Integrity Systems
2.25.1.1 Simulink
2.25.1.2 Stateflow
2.25.1.3 MATLAB
2.25.1.4 Configuration
2.25.1.5 Naming
2.25.1.6 Requirements
2.25.1.7 Code
2.26 Modeling Standards for IEC 62304
2.26.1 High-Integrity Systems
2.26.1.1 Simulink
2.26.1.2 Stateflow
2.26.1.3 MATLAB
2.26.1.4 Configuration
2.26.1.5 Naming
2.26.1.6 Requirements
2.26.1.7 Code
2.27 Modeling Standards for ISO 26262
2.27.1 High-Integrity Systems
2.27.1.1 Simulink
2.27.1.2 Stateflow
2.27.1.3 MATLAB
2.27.1.4 Configuration
2.27.1.5 Naming
2.27.1.6 Requirements
2.27.1.7 Code
2.28 Modeling Standards for ISO 25119
2.28.1 High-Integrity Systems
2.28.1.1 Simulink
2.28.1.2 Stateflow
2.28.1.3 MATLAB
2.28.1.4 Configuration
2.28.1.5 Naming
2.28.1.6 Requirements
2.28.1.7 Code
2.29 Modeling Standards for EN 50128/EN 50657
2.29.1 High-Integrity Systems
2.29.1.1 Simulink
2.29.1.2 Stateflow
2.29.1.3 MATLAB
2.29.1.4 Configuration
2.29.1.5 Naming
2.29.1.6 Requirements
2.29.1.7 Code
2.30 Model Metrics
2.30.1 Count Metrics
2.30.2 Complexity Metrics
2.30.3 Readability Metrics
2.31 Modeling Standards for MAB
2.31.1 Naming Conventions
2.31.1.1 General
2.31.1.2 Content
2.31.2 Simulink
2.31.2.1 Configuration Parameters
2.31.2.2 Diagram Appearance
2.31.2.3 Signal
2.31.2.4 Block Consistency
2.31.2.5 Conditional Subsystem relations
2.31.2.6 Operation Blocks
2.31.2.7 Other blocks
2.31.3 Stateflow
2.31.3.1 Block/Data/Events
2.31.3.2 Diagram
2.31.3.3 Condition Transition/Action
2.31.3.4 Label Description
2.31.3.5 Miscellaneous
2.31.4 MATLAB
2.31.4.1 Data and Operations
2.31.4.2 Usage
2.32 Modeling Standards for JMAAB v5.1
2.32.1 Naming Conventions
2.32.2 Model Architecture
2.32.3 Model Configuration Options
2.32.4 Simulink
2.32.5 Stateflow
2.32.6 MATLAB Functions
2.33 Modeling Standards for JMAAB v6
2.33.1 Naming Conventions
2.33.2 Model Architecture
2.33.3 Model Configuration Options
2.33.4 Simulink
2.33.5 Stateflow
2.33.6 MATLAB Functions
2.34 Clone Detection and Model Refactoring
2.35 Simulink Code Inspector compatibility checks
2.36 Frequency Response Estimation
2.37 Simulink Design Verifier Compatibility Check
2.38 Simulink Design Verifier Design Error Checks
2.39 Requirements Consistency Checking

View

Scroll to top
Show check details
Model Advisor Report - untitled
Simulink version: 10.7 Model version: 1.0
System: untitled Current run: 21-Jun-2023 22:21:15
Treat as Referenced Model: off  

Run Summary
Incomplete Failed Warning Justified Passed Not Run Total  
   0    32    214    0    650    1321 2217  
Error occurred during model compile.

['untitled/Stepper Motor', 'untitled/Stepper Motor Driver']: Each physical network must be connected to exactly one Solver Configuration block. There is no Solver Configuration block connected to Physical Network with the following blocks: 'untitled/Stepper Motor'
'untitled/Stepper Motor Driver'
Supported compiler not detected. You can install the freely available MinGW-w64 C/C++ compiler; see Install MinGW-w64 Compiler. For more options, visit https://www.mathworks.com/support/compilers.

Model Advisor


    1 By Product  0  0  0  0  0  870


        1.1 Embedded Coder  0  0  0  0  0  34

  Identify lookup table blocks that generate expensive out-of-range checking code

Not Run

  Check configuration parameters for generation of inefficient saturation code

Not Run

  Check for blocks not recommended for C/C++ production code deployment

Not Run

  Check output types of logic blocks

Not Run

  Check the hardware implementation

Not Run

  Identify questionable software environment specifications

Not Run

  Identify questionable code instrumentation (data I/O)

Not Run

  Identify blocks generating inefficient algorithms

Not Run

  Check configuration parameters for MISRA C:2012

Not Run

  Check for blocks not recommended for MISRA C:2012

Not Run

  Check for unsupported block names

Not Run

  Check usage of Assignment blocks

Not Run

  Check for switch case expressions without a default case

Not Run

  Check for missing error ports in AUTOSAR receiver interfaces

Not Run

  Check configuration parameters for secure coding standards

Not Run

  Check for blocks not recommended for secure coding standards

Not Run

  Check signal interfaces

Not Run

  Check configuration for component deployment using service interface configuration

Not Run

  Check startup and shutdown event

Not Run

  Identify questionable subsystem settings

Not Run

  Check usage of 'long long' data type

Not Run

  Check for blocks not supported for row-major code generation

Not Run

  Identify TLC S-Functions with unset array layout

Not Run

  Identify blocks that generate expensive fixed-point and saturation code

Not Run

  Check for missing const qualifiers in model functions

Not Run

  Check bus object names that are used as bus element names

Not Run

  Check modeling style for component deployment

Not Run

  Check usage of partial data send

Not Run

  Identify questionable fixed-point operations

Not Run

  Identify blocks that generate expensive rounding code

Not Run

  Check for bitwise operations on signed integers

Not Run

  Check for recursive function calls

Not Run

  Check for equality and inequality operations on floating-point values

Not Run

  Check integer word lengths

Not Run



        1.2 Simulink  0  0  0  0  0  43

  Check optimization settings

Not Run

  Identify unconnected lines, input ports, and output ports

Not Run

  Check root model Inport block specifications

Not Run

  Check diagnostic settings ignored during accelerated model reference simulation

Not Run

  Check for parameter tunability information ignored for referenced models

Not Run

  Check for implicit signal resolution

Not Run

  Check for optimal bus virtuality

Not Run

  Check for calls to slDataTypeAndScale()

Not Run

  Check for Discrete-Time Integrator blocks with initial condition uncertainty

Not Run

Not Run

Not Run

Not Run

  Identify configurable subsystem blocks in the model for converting to variant subsystem blocks.

Not Run

  Check usage of function-call connections

Not Run

  Check and update mask image display commands with unnecessary imread() function calls

Not Run

  Check and update mask to affirm icon drawing commands dependency on mask workspace

Not Run

  Identify Environment Controller blocks to be replaced with Variant Source blocks

Not Run

  Identify variant blocks with VariantActivation set to "Inherit From Simulink.VariantControl" but does not use Simulink.VariantControl

Not Run

  Runtime diagnostics for S-functions

Not Run

  Check if Read/Write diagnostics are enabled for Data Store blocks

Not Run

  Check Data Store Memory blocks for multitasking, strong typing, and shadowing issues

Not Run

  Check Model History properties

Not Run

  Check S-functions in the model

Not Run

  Open the Upgrade Advisor

Not Run

  Check structure parameter usage with bus signals

Not Run

  Check for large number of function arguments from virtual bus across model reference boundary

Not Run

  Check Delay, Unit Delay and Zero-Order Hold blocks for rate transition

Not Run

  Check bus signals treated as vectors

Not Run

  Check for potentially delayed function-call block return values

Not Run

  Identify block output signals with continuous sample time and non-floating point data type

Not Run

  Check usage of Merge blocks

Not Run

  Check usage of Outport blocks

Not Run

  Check usage of Discrete-Time Integrator blocks

Not Run

  Check model settings for migration to simplified initialization mode

Not Run

  Check for non-continuous signals driving derivative ports

Not Run

  Check data store block sample times for modeling errors

Not Run

  Check for potential ordering issues involving data store access

Not Run

  Identify unit mismatches in the model

Not Run

  Identify automatic unit conversions in the model

Not Run

  Identify disallowed unit systems in the model

Not Run

  Identify undefined units in the model

Not Run

  Identify ambiguous units in the model

Not Run

  Identify questionable operations for strict single-precision design

Not Run



        1.3 Simulink Coder  0  0  0  0  0  9

  Identify blocks using one-based indexing

Not Run

  Check solver for code generation

Not Run

  Check for blocks not supported by code generation

Not Run

  Check for model reference configuration mismatch

Not Run

  Check code generation identifier formats used for model reference

Not Run

  Check for relative execution order change for Data Store Read and Data Store Write blocks

Not Run

  Check reuse of subsystem code

Not Run

  Check sample times and tasking mode

Not Run

  Check for blocks that have constraints on tunable parameters

Not Run



        1.4 AUTOSAR Blockset  0  0  0  0  0  2

  Check compatibility of AUTOSAR Interpolation Routines

Not Run

  Check model configuration parameters for AUTOSAR compliance

Not Run



        1.5 HDL Coder  0  0  0  0  0  35


            1.5.1 Checks for blocks and block settings  0  0  0  0  0  10

  Check for unsupported blocks

Not Run

  Check for MATLAB Function block settings

Not Run

  Check for obsolete Unit Delay Enabled/Resettable blocks

Not Run

  Check for infinite and continuous sample time sources

Not Run

  Check for unsupported storage class for signal objects

Not Run

  Check for Stateflow chart settings

Not Run

  Check for Trigonometric Function block for LUT-based approximation method

Not Run

  Check for HDL Reciprocal block usage

Not Run

  Check for large matrix operations

Not Run

  Check for blocks that have nonzero output latency

Not Run



            1.5.2 Industry standard checks  0  0  0  0  0  11

  Check architecture name

Not Run

  Check clock settings

Not Run

  Check clock, reset, and enable signals

Not Run

  Check file extension

Not Run

  Check generics

Not Run

  Check naming conventions

Not Run

  Check package file names

Not Run

  Check signal and port names

Not Run

  Check entity and architecture

Not Run

  Check module/entity names

Not Run

  Check top-level subsystem/port names

Not Run



            1.5.3 Model configuration checks  0  0  0  0  0  6

  Check delay balancing setting

Not Run

  Check for global reset setting for Xilinx and Altera devices

Not Run

  Check inline configurations setting

Not Run

  Check for model parameters suited for the HDL code generation

Not Run

  Check for visualization settings

Not Run

  Check algebraic loops

Not Run



            1.5.4 Checks for ports and subsystems  0  0  0  0  0  1

  Check for invalid top level subsystem

Not Run



            1.5.5 Native Floating Point checks  0  0  0  0  0  7

  Check for double datatypes in the model

Not Run

  Check for Data Type Conversion blocks with incompatible settings

Not Run

  Check for HDL Reciprocal block usage

Not Run

  Check for Relational Operator block usage

Not Run

  Check for single datatypes in the model

Not Run

  Check for unsupported blocks with Native Floating Point

Not Run

  Check blocks with nonzero ulp error

Not Run



        1.6 Simscape  0  0  0  0  0  3

  Check consistency of block parameter units

Not Run

  Check for outdated AC source blocks

Not Run

  Check for dry hydraulic nodes

Not Run



        1.7 Simulink PLC Coder  0  0  0  0  0  24


            1.7.1 Industry standard checks  0  0  0  0  0  7

  Define the names to avoid

Not Run

  Define the use of case (capitals)

Not Run

  Define the maximum variable name length

Not Run

  Comments must describe the intention of the code

Not Run

  Avoid nested comments

Not Run

  Define maximum number of input/output/in-out variables of a POU

Not Run

  Define type prefixes for variables (if used)

Not Run



            1.7.2 Checks for blocks and block settings  0  0  0  0  0  8

  Check if model uses event based blocks

Not Run

  Check if model uses probe blocks

Not Run

  Check if model uses environment controller blocks

Not Run

  Check Stateflow chart update

Not Run

  Check issues with integrator blocks

Not Run

  Check if model can generate testbench

Not Run

  Check function packaging configuration

Not Run

  Check trigonometric blocks

Not Run



            1.7.3 Model configuration checks  0  0  0  0  0  9

  Check if model uses unsupported blocks

Not Run

  Check Data Store Memory blocks

Not Run

  Check model for Stateflow messages

Not Run

  Check if signal lines are configured properly

Not Run

  Check if model uses row major algorithms

Not Run

  Check model mask parameters

Not Run

  Check if model uses machine parented data

Not Run

  Check if model uses custom code

Not Run

  Check model tunable parameters

Not Run



        1.8 Simulink Check  0  0  0  0  0  632


            1.8.1 Modeling Standards  0  0  0  0  0  620


                1.8.1.1 DO-178C/DO-331 Checks  0  0  0  0  0  96

  Check usage of standardized MATLAB function headers

Not Run

  Check for MATLAB Function interfaces with inherited properties

Not Run

  Check MATLAB Function metrics

Not Run

  Check MATLAB Code Analyzer messages

Not Run

  Check if/elseif/else patterns in MATLAB Function blocks

Not Run

  Check switch statements in MATLAB Function blocks

Not Run

  Check MATLAB functions not supported for code generation

Not Run

  Check state machine type of Stateflow charts

Not Run

  Check Stateflow charts for ordering of states and transitions

Not Run

  Check Stateflow debugging options

Not Run

  Check Stateflow charts for transition paths that cross parallel state boundaries

Not Run

  Check for inappropriate use of transition paths

Not Run

  Check naming of ports in Stateflow charts

Not Run

  Check scoping of Stateflow data objects

Not Run

  Check usage of While Iterator blocks

Not Run

  Check usage of For and While Iterator subsystems

Not Run

  Check for blocks not recommended for C/C++ production code deployment

Not Run

  Check for inconsistent vector indexing methods

Not Run

  Check usage of variant blocks

Not Run

  Check model file name

Not Run

  Check usage of lookup table blocks

Not Run

  Check safety-related solver settings for simulation time

Not Run

  Check Stateflow charts for uniquely defined data objects

Not Run

  Check global variables in graphical functions

Not Run

  Check usage of Gain blocks

Not Run

  Check for model elements that do not link to requirements

Not Run

  Check safety-related settings for hardware implementation

Not Run

  Check for parameter tunability ignored for referenced models

Not Run

  Check for disabled and parameterized library links

Not Run

  Check safety-related diagnostic settings for data store memory

Not Run

  Check safety-related diagnostic settings for saving

Not Run

  Check safety-related model referencing settings

Not Run

  Check safety-related solver settings for solver options

Not Run

  Check safety-related solver settings for tasking and sample-time

Not Run

  Check safety-related diagnostic settings for solvers

Not Run

  Check safety-related diagnostic settings for sample time

Not Run

  Check safety-related optimization settings for logic signals

Not Run

  Check safety-related block reduction optimization settings

Not Run

  Check safety-related optimization settings for application lifespan

Not Run

  Check safety-related optimization settings for data initialization

Not Run

  Check safety-related optimization settings for data type conversions

Not Run

  Check safety-related optimization settings for division arithmetic exceptions

Not Run

  Check safety-related optimization settings for specified minimum and maximum values

Not Run

  Check safety-related code generation settings for comments

Not Run

  Check safety-related code generation interface settings

Not Run

  Check safety-related code generation settings for code style

Not Run

  Check safety-related code generation identifier settings

Not Run

  Check safety-related diagnostic settings for compatibility

Not Run

  Check safety-related diagnostic settings for parameters

Not Run

  Check safety-related diagnostic settings for Merge blocks

Not Run

  Check safety-related diagnostic settings for model initialization

Not Run

  Check safety-related diagnostic settings for data used for debugging

Not Run

  Check safety-related diagnostic settings for signal connectivity

Not Run

  Check safety-related diagnostic settings for bus connectivity

Not Run

  Check safety-related diagnostic settings that apply to function-call connectivity

Not Run

  Check safety-related diagnostic settings for type conversions

Not Run

  Check safety-related diagnostic settings for model referencing

Not Run

  Check safety-related diagnostic settings for Stateflow

Not Run

  Check safety-related diagnostic settings for signal data

Not Run

  Check safety-related diagnostic settings for variants

Not Run

  Display model version information

Not Run

  Check usage of relational operators in MATLAB Function blocks

Not Run

  Check usage of logical operators and functions in MATLAB Function blocks

Not Run

  Check type and size of condition expressions

Not Run

  Metrics for generated code complexity

Not Run

  Check Stateflow charts for strong data typing

Not Run

  Check assignment operations in Stateflow charts

Not Run

  Check Stateflow charts for unary operators

Not Run

  Check usage of Abs blocks

Not Run

  Check usage of For Iterator blocks

Not Run

  Check usage of If blocks and If Action Subsystem blocks

Not Run

  Check usage of Switch Case blocks and Switch Case Action Subsystem blocks

Not Run

  Check usage of conditionally executed subsystems

Not Run

  Check relational comparisons on floating-point signals

Not Run

  Check usage of Relational Operator blocks

Not Run

  Check usage of Logical Operator blocks

Not Run

  Check usage of bitwise operations

Not Run

  Check usage of Merge blocks

Not Run

  Check data types for blocks with index signals

Not Run

  Check for root Input ports with missing properties

Not Run

  Check for root Input ports with missing range definitions

Not Run

  Check for root Output ports with missing range definitions

Not Run

  Check usage of Assignment blocks

Not Run

  Check model object names

Not Run

  Check usage of Signal Routing blocks

Not Run

  Check for length of user-defined object names

Not Run

  Check data type of loop control variables

Not Run

  Check usage of bit-shift operations

Not Run

  Check for root Outports with missing properties

Not Run

  Check usage of recursions

Not Run

  Check usage of remainder and reciprocal operations

Not Run

  Check usage of square root operations

Not Run

  Check usage of log and log10 operations

Not Run

  Check usage of Reciprocal Sqrt blocks

Not Run

  Check for divide-by-zero calculations

Not Run

  Check for unreachable and dead code

Not Run



                1.8.1.2 IEC 61508, IEC 62304, ISO 26262, ISO 25119, EN 50128 and EN 50657 Checks  0  0  0  0  0  98

  Check usage of standardized MATLAB function headers

Not Run

  Check for MATLAB Function interfaces with inherited properties

Not Run

  Check MATLAB Function metrics

Not Run

  Check MATLAB Code Analyzer messages

Not Run

  Check if/elseif/else patterns in MATLAB Function blocks

Not Run

  Check switch statements in MATLAB Function blocks

Not Run

  Check MATLAB functions not supported for code generation

Not Run

  Check state machine type of Stateflow charts

Not Run

  Check Stateflow charts for ordering of states and transitions

Not Run

  Check Stateflow debugging options

Not Run

  Check Stateflow charts for transition paths that cross parallel state boundaries

Not Run

  Check for inappropriate use of transition paths

Not Run

  Check naming of ports in Stateflow charts

Not Run

  Check scoping of Stateflow data objects

Not Run

  Check usage of While Iterator blocks

Not Run

  Check usage of For and While Iterator subsystems

Not Run

  Check for blocks not recommended for C/C++ production code deployment

Not Run

  Check for inconsistent vector indexing methods

Not Run

  Check usage of variant blocks

Not Run

  Check model file name

Not Run

  Check usage of lookup table blocks

Not Run

  Check safety-related solver settings for simulation time

Not Run

  Check Stateflow charts for uniquely defined data objects

Not Run

  Check global variables in graphical functions

Not Run

  Check usage of Gain blocks

Not Run

  Check for model elements that do not link to requirements

Not Run

  Check safety-related settings for hardware implementation

Not Run

  Check for parameter tunability ignored for referenced models

Not Run

  Check for disabled and parameterized library links

Not Run

  Check safety-related diagnostic settings for data store memory

Not Run

  Check safety-related diagnostic settings for saving

Not Run

  Check safety-related model referencing settings

Not Run

  Check safety-related solver settings for solver options

Not Run

  Check safety-related solver settings for tasking and sample-time

Not Run

  Check safety-related diagnostic settings for solvers

Not Run

  Check safety-related diagnostic settings for sample time

Not Run

  Check safety-related optimization settings for logic signals

Not Run

  Check safety-related block reduction optimization settings

Not Run

  Check safety-related optimization settings for application lifespan

Not Run

  Check safety-related optimization settings for data initialization

Not Run

  Check safety-related optimization settings for data type conversions

Not Run

  Check safety-related optimization settings for division arithmetic exceptions

Not Run

  Check safety-related optimization settings for specified minimum and maximum values

Not Run

  Check safety-related code generation settings for comments

Not Run

  Check safety-related code generation interface settings

Not Run

  Check safety-related code generation settings for code style

Not Run

  Check safety-related code generation identifier settings

Not Run

  Check safety-related diagnostic settings for compatibility

Not Run

  Check safety-related diagnostic settings for parameters

Not Run

  Check safety-related diagnostic settings for Merge blocks

Not Run

  Check safety-related diagnostic settings for model initialization

Not Run

  Check safety-related diagnostic settings for data used for debugging

Not Run

  Check safety-related diagnostic settings for signal connectivity

Not Run

  Check safety-related diagnostic settings for bus connectivity

Not Run

  Check safety-related diagnostic settings that apply to function-call connectivity

Not Run

  Check safety-related diagnostic settings for type conversions

Not Run

  Check safety-related diagnostic settings for model referencing

Not Run

  Check safety-related diagnostic settings for Stateflow

Not Run

  Check safety-related diagnostic settings for signal data

Not Run

  Check safety-related diagnostic settings for variants

Not Run

  Display model metrics and complexity report

Not Run

  Check for unconnected objects

Not Run

  Check usage of relational operators in MATLAB Function blocks

Not Run

  Check usage of logical operators and functions in MATLAB Function blocks

Not Run

  Check type and size of condition expressions

Not Run

  Metrics for generated code complexity

Not Run

  Check Stateflow charts for strong data typing

Not Run

  Check assignment operations in Stateflow charts

Not Run

  Check Stateflow charts for unary operators

Not Run

  Check usage of Abs blocks

Not Run

  Check usage of For Iterator blocks

Not Run

  Check usage of If blocks and If Action Subsystem blocks

Not Run

  Check usage of Switch Case blocks and Switch Case Action Subsystem blocks

Not Run

  Check usage of conditionally executed subsystems

Not Run

  Check relational comparisons on floating-point signals

Not Run

  Check usage of Relational Operator blocks

Not Run

  Check usage of Logical Operator blocks

Not Run

  Check usage of bitwise operations

Not Run

  Check usage of Merge blocks

Not Run

  Check data types for blocks with index signals

Not Run

  Check for root Input ports with missing properties

Not Run

  Check for root Input ports with missing range definitions

Not Run

  Check for root Output ports with missing range definitions

Not Run

  Check usage of Assignment blocks

Not Run

  Check model object names

Not Run

  Check usage of Signal Routing blocks

Not Run

  Check for length of user-defined object names

Not Run

  Check data type of loop control variables

Not Run

  Check usage of bit-shift operations

Not Run

  Check for root Outports with missing properties

Not Run

  Display configuration management data

Not Run

  Check usage of recursions

Not Run

  Check usage of remainder and reciprocal operations

Not Run

  Check usage of square root operations

Not Run

  Check usage of log and log10 operations

Not Run

  Check usage of Reciprocal Sqrt blocks

Not Run

  Check for divide-by-zero calculations

Not Run

  Check for unreachable and dead code

Not Run



                1.8.1.3 MAB Checks  0  0  0  0  0  142

  Check for prohibited sink blocks

Not Run

  Check whether block names appear below blocks

Not Run

  Check for mixing basic blocks and subsystems

Not Run

  Check usage of tunable parameters in blocks

Not Run

  Check Implement logic signals as Boolean data (vs. double)

Not Run

  Check model diagnostic parameters

Not Run

  Check the display attributes of block names

Not Run

  Check display for port blocks

Not Run

  Check usage of Relational Operator blocks

Not Run

  Check for nondefault block attributes

Not Run

  Check signal line labels

Not Run

  Check for propagated signal labels

Not Run

  Check return value assignments in Stateflow graphical functions

Not Run

  Check for pointers in Stateflow charts

Not Run

  Check logical expressions in If blocks

Not Run

  Check for Simulink diagrams using nonstandard display attributes

Not Run

  Check input and output settings of MATLAB Functions

Not Run

  Check MATLAB code for global variables

Not Run

  Check use of Simulink in Stateflow charts

Not Run

  Check use of default variants

Not Run

  Check use of single variable variant conditionals

Not Run

  Check usage of restricted variable names

Not Run

  Check usage of character vector inside MATLAB Function block

Not Run

  Check usage of recommended patterns for Switch/Case statements

Not Run

  Check the number of function calls in MATLAB Function blocks

Not Run

  Check lines of code in MATLAB Functions

Not Run

  Check nested conditions in MATLAB Functions

Not Run

  Check usage of Discrete-Time Integrator block

Not Run

  Check default transition placement in Stateflow charts

Not Run

  Check for avoiding algebraic loops between subsystems

Not Run

  Check for missing ports in Variant Subsystems

Not Run

  Check for cascaded Unit Delay blocks

Not Run

  Check file names

Not Run

  Check folder names

Not Run

  Check port block names

Not Run

  Check subsystem names

Not Run

  Check character usage in block names

Not Run

  Check definition of signal labels

Not Run

  Check Signal name propagation

Not Run

  Check Signed Integer Division Rounding mode

Not Run

  Check usage of State names

Not Run

  Check usage of Stateflow comments

Not Run

  Check execution timing for default transition path

Not Run

  Check usage of Merge block

Not Run

  Check usage of internal transitions in Stateflow states

Not Run

  Check usage of transition conditions in Stateflow transitions

Not Run

  Check block orientation

Not Run

  Check usage of parentheses in Stateflow transitions

Not Run

  Check usable number for first index

Not Run

  Check character usage in signal names and bus names

Not Run

  Check uniqueness of Stateflow State, Data and Event names

Not Run

  Check length of model file name

Not Run

  Check length of folder name at every level of model path

Not Run

  Check length of subsystem names

Not Run

  Check length of Inport and Outport names

Not Run

  Check length of signal and bus names

Not Run

  Check length of block names

Not Run

  Check entry formatting in State blocks in Stateflow charts

Not Run

  Check prohibited combination of state action and flow chart

Not Run

  Check repetition of Action types

Not Run

  Check for unused data in Stateflow Charts

Not Run

  Check updates to variables used in state transition conditions

Not Run

  Check condition actions and transition actions in Stateflow

Not Run

  Check uniqueness of State names

Not Run

  Check if blocks are shaded in the model

Not Run

  Check operator order of Product blocks

Not Run

  Check icon shape of Logical Operator blocks

Not Run

  Check if tunable block parameters are defined as named constants

Not Run

  Check default/else case in Switch Case blocks and If blocks

Not Run

  Check usage of internal transition

Not Run

  Check usage of parallel states

Not Run

  Check scope of data in parallel states

Not Run

  Check indentation of code in Stateflow states

Not Run

  Check for unexpected backtracking in state transitions

Not Run

  Check usage of Lookup Tables

Not Run

  Check for parentheses in Fcn block expressions

Not Run

  Check for usage of text inside states

Not Run

  Check for unconnected objects in Stateflow Charts

Not Run

  Check position of label string in Stateflow transition

Not Run

  Check duplication of Simulink Data names

Not Run

  Check Model Description

Not Run

  Check Stateflow chart action language

Not Run

  Check character usage in Stateflow data names

Not Run

  Check length of Stateflow data name

Not Run

  Check diagnostic settings for incorrect calculation results

Not Run

  Check usage of transitions to external states

Not Run

  Check order of state action types

Not Run

  Check usage of numeric literals in Stateflow

Not Run

  Check position of comments in transition labels

Not Run

  Check trigger signal names

Not Run

  Check usage of unconditional transitions in flow charts

Not Run

  Check for comments in unconditional transitions

Not Run

  Check output data type of operation blocks

Not Run

  Check terminal junctions in Stateflow

Not Run

  Check if state action type 'exit' is used in the model

Not Run

  Check for consistency in model element names

Not Run

  Check usage of graphical functions in Stateflow

Not Run

  Check for sample time setting

Not Run

  Check usage of Sum blocks

Not Run

  Check Indexing Mode

Not Run

  Check position of signal labels

Not Run

  Check position of Inport and Outport blocks

Not Run

  Check definition of Stateflow events

Not Run

  Check for usage of Data Store Memory blocks

Not Run

  Check for MATLAB expressions in Stateflow blocks

Not Run

  Check definition of Stateflow data

Not Run

  Check signal flow in model

Not Run

  Check Stateflow transition appearance

Not Run

  Check position of conditional blocks and iterator blocks

Not Run

  Check signal line connections

Not Run

  Check usage of events in Stateflow charts

Not Run

  Check Model font settings

Not Run

  Check usage of Simulink functions in Stateflow

Not Run

  Check for exclusive states in state machines

Not Run

  Check for unconnected signal lines and blocks

Not Run

  Check transitions in Stateflow flow charts

Not Run

  Check scope of From and Goto blocks

Not Run

  Check usage of Switch blocks

Not Run

  Check usage of unary minus operations in Stateflow charts

Not Run

  Check usage of floating-point expressions in Stateflow charts

Not Run

  Check usage of enumerated values

Not Run

  Check for names of Stateflow ports and associated signals

Not Run

  Check settings for data ports in Multiport Switch blocks

Not Run

  Check input and output data type for Switch blocks

Not Run

  Check usage of fixed-point data type with non-zero bias

Not Run

  Check signs of input signals in product blocks

Not Run

  Check type setting by data objects

Not Run

  Check usage of the Saturation blocks

Not Run

  Check prohibited comparison operation of logical type signals

Not Run

  Check usage of Memory and Unit Delay blocks

Not Run

  Check character usage in parameter names

Not Run

  Check length of parameter names

Not Run

  Check undefined initial output for conditional subsystems

Not Run

  Check comparison of floating point types in Simulink

Not Run

  Check unused data in Simulink Model

Not Run

  Check for implicit type casting in Stateflow

Not Run

  Check for use of C-style comment symbols

Not Run

  Check Stateflow operators

Not Run

  Check fundamental logical and numerical operations

Not Run

  Check usage of vector and bus signals

Not Run

  Check connections between structural subsystems

Not Run

  Check for division by zero in Simulink

Not Run



                1.8.1.4 JMAAB v5.1 Checks  0  0  0  0  0  132

  Check whether block names appear below blocks

Not Run

  Check for mixing basic blocks and subsystems

Not Run

  Check usage of tunable parameters in blocks

Not Run

  Check Implement logic signals as Boolean data (vs. double)

Not Run

  Check the display attributes of block names

Not Run

  Check display for port blocks

Not Run

  Check usage of Relational Operator blocks

Not Run

  Check for nondefault block attributes

Not Run

  Check return value assignments in Stateflow graphical functions

Not Run

  Check for pointers in Stateflow charts

Not Run

  Check logical expressions in If blocks

Not Run

  Check for Simulink diagrams using nonstandard display attributes

Not Run

  Check input and output settings of MATLAB Functions

Not Run

  Check MATLAB code for global variables

Not Run

  Check use of Simulink in Stateflow charts

Not Run

  Check use of default variants

Not Run

  Check use of single variable variant conditionals

Not Run

  Check usage of character vector inside MATLAB Function block

Not Run

  Check usage of Discrete-Time Integrator block

Not Run

  Check default transition placement in Stateflow charts

Not Run

  Check for avoiding algebraic loops between subsystems

Not Run

  Check for missing ports in Variant Subsystems

Not Run

  Check for cascaded Unit Delay blocks

Not Run

  Check file names

Not Run

  Check folder names

Not Run

  Check port block names

Not Run

  Check subsystem names

Not Run

  Check character usage in block names

Not Run

  Check definition of signal labels

Not Run

  Check Signal name propagation

Not Run

  Check Signed Integer Division Rounding mode

Not Run

  Check usage of State names

Not Run

  Check usage of Stateflow comments

Not Run

  Check execution timing for default transition path

Not Run

  Check usage of Merge block

Not Run

  Check usage of internal transitions in Stateflow states

Not Run

  Check usage of transition conditions in Stateflow transitions

Not Run

  Check block orientation

Not Run

  Check usage of parentheses in Stateflow transitions

Not Run

  Check usable number for first index

Not Run

  Check character usage in signal names and bus names

Not Run

  Check uniqueness of Stateflow State, Data and Event names

Not Run

  Check length of model file name

Not Run

  Check length of folder name at every level of model path

Not Run

  Check length of subsystem names

Not Run

  Check length of Inport and Outport names

Not Run

  Check length of signal and bus names

Not Run

  Check length of block names

Not Run

  Check entry formatting in State blocks in Stateflow charts

Not Run

  Check prohibited combination of state action and flow chart

Not Run

  Check repetition of Action types

Not Run

  Check for unused data in Stateflow Charts

Not Run

  Check updates to variables used in state transition conditions

Not Run

  Check condition actions and transition actions in Stateflow

Not Run

  Check uniqueness of State names

Not Run

  Check if blocks are shaded in the model

Not Run

  Check operator order of Product blocks

Not Run

  Check icon shape of Logical Operator blocks

Not Run

  Check if tunable block parameters are defined as named constants

Not Run

  Check default/else case in Switch Case blocks and If blocks

Not Run

  Check usage of internal transition

Not Run

  Check usage of parallel states

Not Run

  Check scope of data in parallel states

Not Run

  Check indentation of code in Stateflow states

Not Run

  Check for unexpected backtracking in state transitions

Not Run

  Check usage of Lookup Tables

Not Run

  Check for parentheses in Fcn block expressions

Not Run

  Check for usage of text inside states

Not Run

  Check for unconnected objects in Stateflow Charts

Not Run

  Check position of label string in Stateflow transition

Not Run

  Check duplication of Simulink Data names

Not Run

  Check Model Description

Not Run

  Check Stateflow chart action language

Not Run

  Check character usage in Stateflow data names

Not Run

  Check length of Stateflow data name

Not Run

  Check diagnostic settings for incorrect calculation results

Not Run

  Check usage of transitions to external states

Not Run

  Check order of state action types

Not Run

  Check usage of numeric literals in Stateflow

Not Run

  Check position of comments in transition labels

Not Run

  Check trigger signal names

Not Run

  Check usage of unconditional transitions in flow charts

Not Run

  Check for comments in unconditional transitions

Not Run

  Check output data type of operation blocks

Not Run

  Check terminal junctions in Stateflow

Not Run

  Check if state action type 'exit' is used in the model

Not Run

  Check for consistency in model element names

Not Run

  Check usage of graphical functions in Stateflow

Not Run

  Check for sample time setting

Not Run

  Check usage of Sum blocks

Not Run

  Check Indexing Mode

Not Run

  Check position of signal labels

Not Run

  Check position of Inport and Outport blocks

Not Run

  Check definition of Stateflow events

Not Run

  Check for usage of Data Store Memory blocks

Not Run

  Check for MATLAB expressions in Stateflow blocks

Not Run

  Check definition of Stateflow data

Not Run

  Check signal flow in model

Not Run

  Check Stateflow transition appearance

Not Run

  Check position of conditional blocks and iterator blocks

Not Run

  Check signal line connections

Not Run

  Check usage of events in Stateflow charts

Not Run

  Check Model font settings

Not Run

  Check usage of Simulink functions in Stateflow

Not Run

  Check for exclusive states in state machines

Not Run

  Check for unconnected signal lines and blocks

Not Run

  Check transitions in Stateflow flow charts

Not Run

  Check scope of From and Goto blocks

Not Run

  Check usage of Switch blocks

Not Run

  Check usage of unary minus operations in Stateflow charts

Not Run

  Check usage of floating-point expressions in Stateflow charts

Not Run

  Check usage of enumerated values

Not Run

  Check settings for data ports in Multiport Switch blocks

Not Run

  Check input and output data type for Switch blocks

Not Run

  Check usage of fixed-point data type with non-zero bias

Not Run

  Check signs of input signals in product blocks

Not Run

  Check type setting by data objects

Not Run

  Check usage of the Saturation blocks

Not Run

  Check prohibited comparison operation of logical type signals

Not Run

  Check usage of Memory and Unit Delay blocks

Not Run

  Check character usage in parameter names

Not Run

  Check length of parameter names

Not Run

  Check undefined initial output for conditional subsystems

Not Run

  Check comparison of floating point types in Simulink

Not Run

  Check unused data in Simulink Model

Not Run

  Check for implicit type casting in Stateflow

Not Run

  Check for use of C-style comment symbols

Not Run

  Check Stateflow operators

Not Run

  Check fundamental logical and numerical operations

Not Run

  Check usage of vector and bus signals

Not Run

  Check connections between structural subsystems

Not Run

  Check for division by zero in Simulink

Not Run



                1.8.1.5 JMAAB v6 Checks  0  0  0  0  0  152

  Check whether block names appear below blocks

Not Run

  Check for mixing basic blocks and subsystems

Not Run

  Check usage of tunable parameters in blocks

Not Run

  Check Implement logic signals as Boolean data (vs. double)

Not Run

  Check the display attributes of block names

Not Run

  Check display for port blocks

Not Run

  Check usage of Relational Operator blocks

Not Run

  Check for nondefault block attributes

Not Run

  Check return value assignments in Stateflow graphical functions

Not Run

  Check for pointers in Stateflow charts

Not Run

  Check logical expressions in If blocks

Not Run

  Check for Simulink diagrams using nonstandard display attributes

Not Run

  Check input and output settings of MATLAB Functions

Not Run

  Check MATLAB code for global variables

Not Run

  Check use of Simulink in Stateflow charts

Not Run

  Check use of default variants

Not Run

  Check use of single variable variant conditionals

Not Run

  Check usage of character vector inside MATLAB Function block

Not Run

  Check usage of recommended patterns for Switch/Case statements

Not Run

  Check the number of function calls in MATLAB Function blocks

Not Run

  Check nested conditions in MATLAB Functions

Not Run

  Check default transition placement in Stateflow charts

Not Run

  Check for avoiding algebraic loops between subsystems

Not Run

  Check for cascaded Unit Delay blocks

Not Run

  Check file names

Not Run

  Check port block names

Not Run

  Check subsystem names

Not Run

  Check character usage in block names

Not Run

  Check definition of signal labels

Not Run

  Check Signal name propagation

Not Run

  Check Signed Integer Division Rounding mode

Not Run

  Check usage of State names

Not Run

  Check usage of Stateflow comments

Not Run

  Check execution timing for default transition path

Not Run

  Check usage of Merge block

Not Run

  Check usage of internal transitions in Stateflow states

Not Run

  Check usage of transition conditions in Stateflow transitions

Not Run

  Check block orientation

Not Run

  Check usage of parentheses in Stateflow transitions

Not Run

  Check usable number for first index

Not Run

  Check character usage in signal names and bus names

Not Run

  Check uniqueness of Stateflow State, Data and Event names

Not Run

  Check length of model file name

Not Run

  Check length of folder name at every level of model path

Not Run

  Check length of subsystem names

Not Run

  Check length of Inport and Outport names

Not Run

  Check length of signal and bus names

Not Run

  Check length of block names

Not Run

  Check entry formatting in State blocks in Stateflow charts

Not Run

  Check prohibited combination of state action and flow chart

Not Run

  Check repetition of Action types

Not Run

  Check for unused data in Stateflow Charts

Not Run

  Check updates to variables used in state transition conditions

Not Run

  Check uniqueness of State names

Not Run

  Check if blocks are shaded in the model

Not Run

  Check operator order of Product blocks

Not Run

  Check icon shape of Logical Operator blocks

Not Run

  Check if tunable block parameters are defined as named constants

Not Run

  Check default/else case in Switch Case blocks and If blocks

Not Run

  Check usage of internal transition

Not Run

  Check usage of parallel states

Not Run

  Check scope of data in parallel states

Not Run

  Check indentation of code in Stateflow states

Not Run

  Check for unexpected backtracking in state transitions

Not Run

  Check usage of Lookup Tables

Not Run

  Check for parentheses in Fcn block expressions

Not Run

  Check for unconnected objects in Stateflow Charts

Not Run

  Check duplication of Simulink Data names

Not Run

  Check Model Description

Not Run

  Check Stateflow chart action language

Not Run

  Check character usage in Stateflow data names

Not Run

  Check length of Stateflow data name

Not Run

  Check usage of transitions to external states

Not Run

  Check order of state action types

Not Run

  Check usage of numeric literals in Stateflow

Not Run

  Check position of comments in transition labels

Not Run

  Check trigger signal names

Not Run

  Check usage of unconditional transitions in flow charts

Not Run

  Check for comments in unconditional transitions

Not Run

  Check terminal junctions in Stateflow

Not Run

  Check if state action type 'exit' is used in the model

Not Run

  Check for consistency in model element names

Not Run

  Check usage of graphical functions in Stateflow

Not Run

  Check for sample time setting

Not Run

  Check usage of Sum blocks

Not Run

  Check Indexing Mode

Not Run

  Check position of Inport and Outport blocks

Not Run

  Check definition of Stateflow events

Not Run

  Check for usage of Data Store Memory blocks

Not Run

  Check signal flow in model

Not Run

  Check position of conditional blocks and iterator blocks

Not Run

  Check Model font settings

Not Run

  Check usage of Simulink functions in Stateflow

Not Run

  Check for exclusive states in state machines

Not Run

  Check for unconnected signal lines and blocks

Not Run

  Check transitions in Stateflow flow charts

Not Run

  Check folder names

Not Run

  Check signal line connections

Not Run

  Check position of signal labels

Not Run

  db_0125: Stateflow data

Not Run

  Check for MATLAB expressions in Stateflow blocks

Not Run

  Check Stateflow transition appearance

Not Run

  Check usage of Discrete-Time Integrator block

Not Run

  Check output data type of operation blocks

Not Run

  Check condition actions and transition actions in Stateflow

Not Run

  Check position of label string in Stateflow transition

Not Run

  Check usage of events in Stateflow charts

Not Run

  Check for missing ports in Variant Subsystems

Not Run

  Check data names in MATLAB Functions

Not Run

  Check the length of data names in MATLAB Functions

Not Run

  Check description of execution statements

Not Run

  Check for spaces in function or variable names

Not Run

  Check for operator precedence

Not Run

  Check relational operator usage

Not Run

  Check spaces in expressions

Not Run

  Check for utilization of the return value of functions.

Not Run

  Check for prohibited overlapping of states and transition lines in Stateflow charts

Not Run

  Check for prohibited overlapping or intersecting blocks and signal lines

Not Run

  Arrowhead size of transition lines

Not Run

  Size of junctions

Not Run

  Check for usage of non-empty statements

Not Run

  Check function headers

Not Run

  Check array indices

Not Run

  Check number of lines of functions

Not Run

  Check usage of Switch blocks

Not Run

  Check usage of unary minus operations in Stateflow charts

Not Run

  Check usage of enumerated values

Not Run

  Check input and output data type for Switch blocks

Not Run

  Check usage of fixed-point data type with non-zero bias

Not Run

  Check signs of input signals in product blocks

Not Run

  Check usage of the Saturation blocks

Not Run

  Check prohibited comparison operation of logical type signals

Not Run

  Check usage of Memory and Unit Delay blocks

Not Run

  Check length of parameter names

Not Run

  Check undefined initial output for conditional subsystems

Not Run

  Check comparison of floating point types in Simulink

Not Run

  Check unused data in Simulink Model

Not Run

  Check for implicit type casting in Stateflow

Not Run

  Check for use of C-style comment symbols

Not Run

  Check Stateflow operators

Not Run

  Check fundamental logical and numerical operations

Not Run

  Check usage of vector and bus signals

Not Run

  Check connections between structural subsystems

Not Run

  Check character usage in parameter names

Not Run

  Check settings for data ports in Multiport Switch blocks

Not Run

  Check type setting by data objects

Not Run

  Check usage of floating-point expressions in Stateflow charts

Not Run

  Check scope of From and Goto blocks

Not Run

  Check Bus and Enumeration data type names

Not Run

  Check length of Bus and Enumeration data type names

Not Run

  Check description of conditional expressions

Not Run

  Check for division by zero in Simulink

Not Run



            1.8.2 Model Metrics  0  0  0  0  0  10

  Simulink block metric

Not Run

  Subsystem metric

Not Run

  Library link metric

Not Run

  Effective lines of MATLAB code metric

Not Run

  Stateflow chart objects metric

Not Run

  Lines of code for Stateflow blocks metric

Not Run

  Nondescriptive block name metric

Not Run

  Data and structure layer separation metric

Not Run

  Subsystem depth metric

Not Run

  Cyclomatic complexity metric

Not Run



            1.8.3 Clone Detection and Model Refactoring  0  0  0  0  0  2

  Refactor to simplify bus element blocks

Not Run

  Identify clones from a linked library file

Not Run



        1.9 Simulink Code Inspector  0  0  0  0  0  69

  Check code generation settings

Not Run

  Check data import and export settings

Not Run

  Check diagnostic settings

Not Run

  Check hardware implementation settings

Not Run

  Check math and data types settings

Not Run

  Check solver settings

Not Run

  Check for unsupported blocks

Not Run

  Check for unconnected objects in the model

Not Run

  Check system target file setting

Not Run

  Check function specification setting

Not Run

  Check shared Embedded Code Dictionary configuration

Not Run

  Check the code generation folder structure for the model

Not Run

  Check for unsupported Code Mapping settings

Not Run

  Check model arguments for storage classes

Not Run

  Check usage of Code in MATLAB Functions

Not Run

  Check MATLAB Code Analyzer messages

Not Run

  Check storage class for workspace variables

Not Run

  Check for unsupported Signal Conversion blocks automatically inserted at signals entering block input ports

Not Run

  Check for usage of fixed-point instrumentation

Not Run

  Check for usage of synthesized local data stores

Not Run

  Check Loop unrolling threshold setting

Not Run

  Check usage of global data stores

Not Run

  Check global data stores' name shadow

Not Run

  Check destinations of If and Switchcase blocks

Not Run

  Check for root Outport blocks that have non-auto storage class

Not Run

  Check for Terminator blocks that connect to Model block outports

Not Run

  Check for unsupported propagation of initial condition values

Not Run

  Check data type replacement names

Not Run

  Check for multiple sample times in model used as a model reference target

Not Run

  Check GetSet storage class for workspace variables

Not Run

  Check Treat each discrete rate as a separate task setting

Not Run

  Check model for commented out blocks

Not Run

  Check model for void_void subsystems that use the same function name

Not Run

  Check n-D Lookup Table blocks for incompatible breakpoint data type

Not Run

  Check model for reusable subsystems that use the same function interfaces

Not Run

  Check for usage of shared synthesized local data stores

Not Run

  Check model for compiled and graphical block sorted order

Not Run

  Verify 'Generate an example main program' setting of multirate models

Not Run

  Check for unsupported signal identifiers specified in Code Mappings editor

Not Run

  Check usage of Sources blocks

Not Run

  Check usage of Signal Routing blocks

Not Run

  Check usage of Math Operations blocks

Not Run

  Check usage of Signal Attributes blocks

Not Run

  Check usage of Logical and Bit Operations blocks

Not Run

  Check usage of Lookup Tables blocks

Not Run

  Check usage of User-Defined Function blocks

Not Run

  Check usage of Ports and Subsystems blocks

Not Run

  Check usage of Discontinuities blocks

Not Run

  Check usage of Sinks blocks

Not Run

  Check usage of Discrete blocks

Not Run

  Check usage of Stateflow blocks

Not Run

  Check usage of String blocks

Not Run

  Check usage of Stateflow charts

Not Run

  Check usage of Stateflow MATLAB action language

Not Run

  Check usage of Stateflow transitions

Not Run

  Check usage of Stateflow junctions

Not Run

  Check usage of Stateflow data

Not Run

  Check usage of Stateflow events

Not Run

  Check usage of Stateflow states

Not Run

  Check usage of Stateflow graphical functions

Not Run

  Check usage of Stateflow truth tables

Not Run

  Check usage of Stateflow atomic subcharts

Not Run

  Check usage of MATLAB Function Blocks

Not Run

  Check usage of Data in MATLAB Functions

Not Run

  Check usage of root Outport blocks

Not Run

  Check usage of buses

Not Run

  Check usage of shared utilities

Not Run

  Check for sample times in the model

Not Run

  Check conditional input branch execution setting

Not Run



        1.10 Requirements Toolbox  0  0  0  0  0  4


            1.10.1 Requirements Consistency  0  0  0  0  0  4

  Identify requirement links with missing documents

Not Run

  Identify requirement links that specify invalid locations within documents

Not Run

  Identify selection-based links having description fields that do not match their requirements document text

Not Run

  Identify requirement links with path type inconsistent with preferences

Not Run



        1.11 Simulink Design Verifier  0  0  0  0  0  14


            1.11.1 Design Error Detection  0  0  0  0  0  13

  Check for dead logic

Not Run

  Check for out of bound array access

Not Run

  Check for division by zero

Not Run

  Check for integer overflow

Not Run

  Check for non-finite and NaN floating-point values

Not Run

  Check for subnormal floating-point values

Not Run

  Check for specified minimum and maximum value violations

Not Run

  Check for data store access violations

Not Run

  Check for block input range violations

Not Run

  Check usage of remainder and reciprocal operations - hisl_0002

Not Run

  Check usage of square root operations - hisl_0003

Not Run

  Check usage of log and log10 operations - hisl_0004

Not Run

  Check usage of Reciprocal Square Root Blocks - hisl_0028

Not Run

  Check compatibility with Simulink Design Verifier

Not Run



        1.12 Simulink Control Design  0  0  0  0  0  1

  Identify time-varying source blocks interfering with frequency response estimation

Not Run



    2 By Task  0  32  214  0  650  451


        2.1 Modeling Physical Systems  0  0  0  0  1  1

  Check consistency of block parameter units

Identify Simscape blocks with ambiguous setting of parameter units. For example, a block parameter expected in 'Hz' may be specified in the dialog with unit of 'rad/s'. Such settings could lead to unexpected conversion factors applied to the numerical value.

Passed
No Simscape blocks with ambiguous unit setting found in the model.

  Check for dry hydraulic nodes

Not Run



        2.2 Replacing Blocks That Will Be Removed  0  0  0  0  1  0

  Identify Environment Controller blocks to be replaced with Variant Source blocks

Passed
The model does not contain any Environment Controller blocks.



        2.3 Inherit from Simulink.VariantControl  0  0  0  0  1  0

  Identify variant blocks with VariantActivation set to "Inherit From Simulink.VariantControl" but does not use Simulink.VariantControl

Passed



        2.4 Simulink PLC Coder  0  15  3  0  3  3


            2.4.1 Model configuration checks  0  7  0  0  0  1

  Check Data Store Memory blocks

Warning
No block selected in the following model

Recommended Action
Open Model Advisor with top-level subsystem selected
_________________________________________________________________________________________

  Check model for Stateflow messages

Warning
No block selected in the following model

Recommended Action
Open Model Advisor with top-level subsystem selected
_________________________________________________________________________________________

  Check if signal lines are configured properly

Warning
No block selected in the following model

Recommended Action
Open Model Advisor with top-level subsystem selected
_________________________________________________________________________________________

  Check if model uses row major algorithms

Warning
No block selected in the following model

Recommended Action
Open Model Advisor with top-level subsystem selected
_________________________________________________________________________________________

  Check model mask parameters

Warning
No block selected in the following model

Recommended Action
Open Model Advisor with top-level subsystem selected
_________________________________________________________________________________________

  Check if model uses machine parented data

Warning
No block selected in the following model

Recommended Action
Open Model Advisor with top-level subsystem selected
_________________________________________________________________________________________

  Check if model uses custom code

Warning
No block selected in the following model

Recommended Action
Open Model Advisor with top-level subsystem selected
_________________________________________________________________________________________

  Check model tunable parameters

Not Run



            2.4.2 Checks for blocks and block settings  0  8  0  0  0  1

  Check if model uses event based blocks

Warning
No block selected in the following model

Recommended Action
Open Model Advisor with top-level subsystem selected
_________________________________________________________________________________________

  Check if model uses probe blocks

Warning
No block selected in the following model

Recommended Action
Open Model Advisor with top-level subsystem selected
_________________________________________________________________________________________

  Check if model uses environment controller blocks

Warning
No block selected in the following model

Recommended Action
Open Model Advisor with top-level subsystem selected
_________________________________________________________________________________________

  Check Stateflow chart update

Warning
No block selected in the following model

Recommended Action
Open Model Advisor with top-level subsystem selected
_________________________________________________________________________________________

  Check issues with integrator blocks

Warning
No block selected in the following model

Recommended Action
Open Model Advisor with top-level subsystem selected
_________________________________________________________________________________________

  Check if model uses unsupported blocks

Warning
No block selected in the following model

Recommended Action
Open Model Advisor with top-level subsystem selected
_________________________________________________________________________________________

  Check if model can generate testbench

Warning
No block selected in the following model

Recommended Action
Open Model Advisor with top-level subsystem selected
_________________________________________________________________________________________

  Check function packaging configuration

Warning
No block selected in the following model

Recommended Action
Open Model Advisor with top-level subsystem selected
_________________________________________________________________________________________

  Check trigonometric blocks

Not Run



            2.4.3 Industry standard checks  0  0  3  0  3  1

  Define the names to avoid

Names defined as keywords must not be used

Warning
This check is not intended for the root level of the model

Recommended Action
Run this check for the subsystem level
_________________________________________________________________________________________

Input Parameters Selection
Name Value
Open Keywords File N/A

  Define the use of case (capitals)

The use of capital letters in object names must be clear and consistent across the project

Warning
This check is not intended for the root level of the model

Recommended Action
Run this check for the subsystem level
_________________________________________________________________________________________

Input Parameters Selection
Name Value
  alllowercase
Ignore prefix false

  Define the maximum variable name length

Names that exceed the defined maximum name length must be avoided

Warning
This check is not intended for the root level of the model

Recommended Action
Run this check for the subsystem level
_________________________________________________________________________________________

Input Parameters Selection
Name Value
Maximum acceptable length 32

  Comments must describe the intention of the code

Check if function blocks have comments

Warning
This check is not intended for the root level of the model

Recommended Action
Run this check for the subsystem level
_________________________________________________________________________________________

  Avoid nested comments

Nesting of multiline comments must be avoided

Warning
This check is not intended for the root level of the model

Recommended Action
Run this check for the subsystem level
_________________________________________________________________________________________

  Define maximum number of input/output/in-out variables of a POU

The number of input variables, output variables, and in-out variables of a POU should be within a limited set

Warning
This check is not intended for the root level of the model

Recommended Action
Run this check for the subsystem level
_________________________________________________________________________________________

Input Parameters Selection
Name Value
Maximum number of I/O variables 20

  Define type prefixes for variables (if used)

Not Run



        2.5 Simulation Accuracy  0  0  0  0  0  1

  Check for non-continuous signals driving derivative ports

Not Run



        2.6 Simulation Runtime Accuracy Diagnostics  0  0  0  0  2  0

  Runtime diagnostics for S-functions

Passed

  Check if Read/Write diagnostics are enabled for Data Store blocks

Passed



        2.7 Managing Data Store Memory Blocks  0  0  1  0  0  3

  Check Data Store Memory blocks for multitasking, strong typing, and shadowing issues

Duplicate data store names checking is not set to 'error'. Duplicate usage of data store names can lead to unintended shadowing of data stores of higher model scope. Consider changing the Duplicate data store names setting to 'error'.

  Check data store block sample times for modeling errors

Not Run

  Check for potential ordering issues involving data store access

Not Run

  Check for relative execution order change for Data Store Read and Data Store Write blocks

Not Run



        2.8 Simulink Model File Integrity  0  0  0  0  1  0

  Check Model History properties

Check models for edited Model History property values
Check that parameters in the Model Properties dialog History pane use the default tags. In the MDL file format you can configure some model properties to make use of source control tool keyword substitution. If you save your model in SLX format, source control tools cannot perform keyword substitution. Any information in the model file from such keyword substitution is cached when you first save the MDL file as SLX, and is never updated again. The Model Properties History pane and any Model Info blocks in your model show stale information from then on.

Passed
This model uses the default value for property ModifiedByFormat.

Passed
This model uses the default value for property ModifiedDateFormat.

Passed
This model uses the default value for property ModelVersionFormat.



        2.9 S-function Checks  0  0  0  0  1  0

  Check S-functions in the model

There are no user-defined S-functions in the model.



        2.10 Units Inconsistencies  0  0  0  0  0  5

  Identify unit mismatches in the model

Not Run

  Identify automatic unit conversions in the model

Not Run

  Identify disallowed unit systems in the model

Not Run

  Identify undefined units in the model

Not Run

  Identify ambiguous units in the model

Not Run



        2.11 Modeling Signals and Parameters using Buses  0  0  0  0  1  2

  Check for optimal bus virtuality

Passed

  Check structure parameter usage with bus signals

Not Run

  Check bus signals treated as vectors

Not Run



        2.12 Code Generation Efficiency  0  1  1  0  7  3

  Check optimization settings

Check optimization settings

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Use bitsets for storing state configuration (StateBitsets) off on
Warning Use bitsets for storing Boolean data (DataBitsets) off on


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Identify blocks using one-based indexing

Check the model for blocks configured for one-based indexing

Passed
All blocks in the model use zero-based indexing.
_________________________________________________________________________________________

  Identify questionable software environment specifications

Passed

  Identify lookup table blocks that generate expensive out-of-range checking code

Passed

  Identify questionable code instrumentation (data I/O)

Passed

  Check output types of logic blocks

Identify logic blocks that are outputting non-Boolean data types.

Passed
There are no logic blocks in the model or subsystem.

  Check configuration parameters for generation of inefficient saturation code

Passed

  Identify blocks that generate expensive rounding code

Not Run

  Identify questionable fixed-point operations

Not Run

  Check usage of 'long long' data type

Error occurred during model compile.

['untitled/Stepper Motor', 'untitled/Stepper Motor Driver']: Each physical network must be connected to exactly one Solver Configuration block. There is no Solver Configuration block connected to Physical Network with the following blocks: 'untitled/Stepper Motor'
'untitled/Stepper Motor Driver'

  Identify blocks that generate expensive fixed-point and saturation code

Not Run

  Identify blocks generating inefficient algorithms

Passed
No inefficient algorithms found in the model.



        2.13 Modeling Single-Precision Systems  0  0  0  0  0  1

  Identify questionable operations for strict single-precision design

Not Run



        2.14 Migrating to Simplified Initialization mode  0  0  0  0  0  4

  Check usage of Merge blocks

Not Run

  Check usage of Outport blocks

Not Run

  Check usage of Discrete-Time Integrator blocks

Not Run

  Check model settings for migration to simplified initialization mode

Not Run



        2.15 Row-Major Code Generation  0  0  0  0  1  2

  Identify blocks generating inefficient algorithms

Passed
No inefficient algorithms found in the model.

  Check for blocks not supported for row-major code generation

Not Run

  Identify TLC S-Functions with unset array layout

Not Run



        2.16 Model Referencing  0  0  0  0  6  2

  Check for model reference configuration mismatch

Passed

  Check diagnostic settings ignored during accelerated model reference simulation

The configuration parameter settings passed the check.

  Check code generation identifier formats used for model reference

The configuration parameter settings passed the check.

  Check for parameter tunability information ignored for referenced models

Passed

  Check for implicit signal resolution

Passed

  Check bus signals treated as vectors

Not Run

  Check root model Inport block specifications

Passed

  Check for large number of function arguments from virtual bus across model reference boundary

Not Run



        2.17 Managing Library Links And Variants  0  0  0  0  4  0

Passed

Passed

Passed

  Identify configurable subsystem blocks in the model for converting to variant subsystem blocks.

Identify and upgrade Configurable Subsystem blocks in the model or subsystem level.

Passed
No configurable subsystem blocks found.



        2.18 Data Transfer Efficiency  0  0  0  0  0  1

  Check Delay, Unit Delay and Zero-Order Hold blocks for rate transition

Not Run



        2.19 Modeling Standards for MISRA C:2012  0  0  1  0  6  6

  Check configuration parameters for MISRA C:2012

Identify configuration parameters that might impact MISRA C:2012 compliant code generation.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values Prerequisites
Warning Model Verification block enabling (AssertControl) UseLocalSettings DisableAll  
D - Warning Shared code placement (UtilityFuncGeneration) Auto Shared location  
Warning Generate shared constants (GenerateSharedConstants) Prerequisite constraint not met. off UtilityFuncGeneration
D - Warning System target file (SystemTargetFile) Non-ERT based target ERT based target  
Warning SupportContinuousTime Prerequisite constraint not met. off SystemTargetFile
Warning SupportNonInlinedSFcns Prerequisite constraint not met. off SystemTargetFile
Warning MAT-file logging (MatFileLogging) on off  
Warning ParenthesesLevel Prerequisite constraint not met. Standards, Maximum SystemTargetFile
Warning SuppressUnreachableDefaultCases Parameter is inactive! Enable parameter or modify dependent parameter value. off  
Warning CastingMode Prerequisite constraint not met. Standards SystemTargetFile
Warning InternalIdentifier Prerequisite constraint not met. Shortened SystemTargetFile
Warning Use division for fixed-point net slope computation (UseDivisionForNetSlopeComputation) off on, UseDivisionForReciprocalsOfIntegersOnly  
Warning EnableSignedLeftShifts Prerequisite constraint not met. off SystemTargetFile
Warning EnableSignedRightShifts Prerequisite constraint not met. off SystemTargetFile
Warning Inf or NaN block output (SignalInfNanChecking) none warning  
Warning Dynamic memory allocation in MATLAB functions (MATLABDynamicMemAlloc) on off  
Warning Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) warning error  
Warning Compile-time recursion limit for MATLAB functions (CompileTimeRecursionLimit) 50 0  
Warning Enable run-time recursion for MATLAB functions (EnableRuntimeRecursion) on off  
Warning MATLABFcnDesc Prerequisite constraint not met. on GenerateComments, SystemTargetFile
Warning Leverage target hardware instruction set extensions (InstructionSetExtensions) SSE2 None  
∧ Less


Recommended Action
Modify the configuration parameters listed above to the recommended values.

  Check for blocks not recommended for C/C++ production code deployment

Passed

  Check for blocks not recommended for MISRA C:2012

Passed

  Check for unsupported block names

Passed

  Check usage of Assignment blocks

Passed

  Check for switch case expressions without a default case

Identify switch case expressions that do not have a default case.

Passed
All switch case expressions have default cases.

  Check for missing error ports in AUTOSAR receiver interfaces

Identify AUTOSAR receiver interface ports that do not have a matching error port.

Passed
Model is not configured as an AUTOSAR target.

  Check for bitwise operations on signed integers

Not Run

  Check for recursive function calls

Not Run

  Check for equality and inequality operations on floating-point values

Not Run

  Check for missing const qualifiers in model functions

Not Run

  Check integer word lengths

Not Run

  Check bus object names that are used as bus element names

Not Run



        2.20 Modeling Standards for Secure Coding (CERT C, CWE, ISO/IEC TS 17961)  0  0  4  0  8  15

  Check configuration parameters for secure coding standards

Identify configuration parameters that might impact secure coding standards compliant code generation.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values Prerequisites
Warning Model Verification block enabling (AssertControl) UseLocalSettings DisableAll  
D - Warning System target file (SystemTargetFile) Non-ERT based target ERT based target  
Warning SupportContinuousTime Prerequisite constraint not met. off SystemTargetFile
Warning SupportNonInlinedSFcns Prerequisite constraint not met. off SystemTargetFile
Warning MAT-file logging (MatFileLogging) on off  
Warning EnableSignedLeftShifts Prerequisite constraint not met. off SystemTargetFile
Warning EnableSignedRightShifts Prerequisite constraint not met. off SystemTargetFile
Warning Inf or NaN block output (SignalInfNanChecking) none warning  
Warning Dynamic memory allocation in MATLAB functions (MATLABDynamicMemAlloc) on off  
Warning Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) warning error  
Warning Compile-time recursion limit for MATLAB functions (CompileTimeRecursionLimit) 50 0  
Warning Enable run-time recursion for MATLAB functions (EnableRuntimeRecursion) on off  
Warning MATLABFcnDesc Prerequisite constraint not met. on GenerateComments, SystemTargetFile
∧ Less


Recommended Action
Modify the configuration parameters listed above to the recommended values.

  Check for blocks not recommended for C/C++ production code deployment

Passed

  Check for blocks not recommended for secure coding standards

Passed

  Check usage of Assignment blocks

Passed

  Check for switch case expressions without a default case

Identify switch case expressions that do not have a default case.

Passed
All switch case expressions have default cases.

  Check for bitwise operations on signed integers

Not Run

  Check for equality and inequality operations on floating-point values

Not Run

  Check integer word lengths

Not Run

  Check for dead logic

Not Run

  Check for integer overflow

Not Run

  Check for division by zero

Not Run

  Check for out of bound array access

Not Run

  Check for specified minimum and maximum value violations

Not Run



            2.20.1 High-Integrity Systems  0  0  3  0  4  7


                2.20.1.1 Simulink  0  0  0  0  3  6

  Check usage of Abs blocks

Not Run

  Check usage of remainder and reciprocal operations

Not Run

  Check usage of log and log10 operations

Not Run

  Check usage of While Iterator blocks

Identify While Iterator blocks that do not have a positive value for the maximum number of iterations.

Passed
No While Iterator blocks found that might cause infinite loops

  Check for blocks not recommended for C/C++ production code deployment

Identify blocks not supported by code generation or not recommended for C/C++ production code deployment.

Passed
No blocks found which are not recommended for C/C++ production code deployment.

  Check data types for blocks with index signals

Not Run

  Check usage of Reciprocal Sqrt blocks

Not Run

  Check global variables in graphical functions

Identify expressions that both read and write to the same global data.

Passed
No expressions found that both read and write to the same global data.

  Check usage of bit-shift operations

Not Run



                2.20.1.2 Configuration  0  0  2  0  0  0

  Check safety-related optimization settings for data type conversions

Check optimization settings in the model configuration that apply to data type conversions and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Remove code from floating-point to integer conversions that wraps out-of-range values (EfficientFloat2IntCast) off on


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related optimization settings for division arithmetic exceptions

Check optimization settings in the model configuration that apply to division arithmetic exceptions and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values Prerequisites
D - Warning System target file (SystemTargetFile) Non-ERT based target ERT based target  
Warning NoFixptDivByZeroProtection Prerequisite constraint not met. off SystemTargetFile


Recommended Action
Follow the links in the result table to modify the model configuration parameters.



                2.20.1.3 Naming  0  0  0  0  1  1

  Check model file name

Identify inappropriate characters and length issues in model file name.

Passed
No issues found with model file name.

  Check model object names

Not Run



                2.20.1.4 Code  0  0  1  0  0  0

  Check configuration parameters for MISRA C:2012

Identify configuration parameters that might impact MISRA C:2012 compliant code generation.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values Prerequisites
Warning Model Verification block enabling (AssertControl) UseLocalSettings DisableAll  
D - Warning Shared code placement (UtilityFuncGeneration) Auto Shared location  
Warning Generate shared constants (GenerateSharedConstants) Prerequisite constraint not met. off UtilityFuncGeneration
D - Warning System target file (SystemTargetFile) Non-ERT based target ERT based target  
Warning SupportContinuousTime Prerequisite constraint not met. off SystemTargetFile
Warning SupportNonInlinedSFcns Prerequisite constraint not met. off SystemTargetFile
Warning MAT-file logging (MatFileLogging) on off  
Warning ParenthesesLevel Prerequisite constraint not met. Standards, Maximum SystemTargetFile
Warning SuppressUnreachableDefaultCases Parameter is inactive! Enable parameter or modify dependent parameter value. off  
Warning CastingMode Prerequisite constraint not met. Standards SystemTargetFile
Warning InternalIdentifier Prerequisite constraint not met. Shortened SystemTargetFile
Warning Use division for fixed-point net slope computation (UseDivisionForNetSlopeComputation) off on, UseDivisionForReciprocalsOfIntegersOnly  
Warning EnableSignedLeftShifts Prerequisite constraint not met. off SystemTargetFile
Warning EnableSignedRightShifts Prerequisite constraint not met. off SystemTargetFile
Warning Inf or NaN block output (SignalInfNanChecking) none warning  
Warning Dynamic memory allocation in MATLAB functions (MATLABDynamicMemAlloc) on off  
Warning Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) warning error  
Warning Compile-time recursion limit for MATLAB functions (CompileTimeRecursionLimit) 50 0  
Warning Enable run-time recursion for MATLAB functions (EnableRuntimeRecursion) on off  
Warning MATLABFcnDesc Prerequisite constraint not met. on GenerateComments, SystemTargetFile
Warning Leverage target hardware instruction set extensions (InstructionSetExtensions) SSE2 None  
∧ Less


Recommended Action
Modify the configuration parameters listed above to the recommended values.



        2.21 Upgrading to the Current Simulink Version  0  0  1  0  0  0

  Open the Upgrade Advisor

Warning
To check for upgrade issues, open the Upgrade Advisor.

Recommended Action
Click the link below to close the Model Advisor and open the Upgrade Advisor for untitled.
Open the Upgrade Advisor



        2.22 Component Deployment Guidelines for Service Interface  0  0  0  0  0  5

  Check modeling style for component deployment

Not Run

  Check signal interfaces

Not Run

  Check configuration for component deployment using service interface configuration

Not Run

  Check startup and shutdown event

Not Run

  Check usage of partial data send

Not Run



        2.23 Modeling Standards for DO-178C/DO-331  0  0  29  0  39  36

  Display model version information

Not Run



            2.23.1 High-Integrity Systems  0  0  28  0  34  35


                2.23.1.1 Simulink  0  0  1  0  10  26

  Check usage of Abs blocks

Not Run

  Check usage of remainder and reciprocal operations

Not Run

  Check usage of square root operations

Not Run

  Check usage of log and log10 operations

Not Run

  Check usage of While Iterator blocks

Identify While Iterator blocks that do not have a positive value for the maximum number of iterations.

Passed
No While Iterator blocks found that might cause infinite loops

  Check usage of For and While Iterator subsystems

Identify sample time-dependent blocks in While and For Iterator subsystems.

Passed
No sample time-dependent blocks in For or While Iterator subsystems.

  Check usage of For Iterator blocks

Not Run

  Check usage of If blocks and If Action Subsystem blocks

Not Run

  Check usage of Switch Case blocks and Switch Case Action Subsystem blocks

Not Run

  Check usage of conditionally executed subsystems

Not Run

  Check usage of Merge blocks

Not Run

  Check relational comparisons on floating-point signals

Not Run

  Check usage of Relational Operator blocks

Not Run

  Check usage of Logical Operator blocks

Not Run

  Check usage of bitwise operations

Not Run

  Check for blocks not recommended for C/C++ production code deployment

Identify blocks not supported by code generation or not recommended for C/C++ production code deployment.

Passed
No blocks found which are not recommended for C/C++ production code deployment.

  Check for inconsistent vector indexing methods

Identify inconsistent usage of vector indexing methods across the model or subsystem.

Passed
No blocks found using inconsistent indexing modes.

  Check data types for blocks with index signals

Not Run

  Check usage of variant blocks

Check variant block settings that might result in code that doesn't trace back to requirements.

Passed
No variant blocks have "VariantActivationTime" set to 'code compile'.

  Check usage of lookup table blocks

Check for Lookup Table blocks, Prelookup blocks and Interpolation blocks that do not generate out-of-range checking code.

Passed
No lookup table blocks found to not generate out-of-range checking code.

  Check usage of Signal Routing blocks

Not Run

  Check for root Input ports with missing properties

Not Run

  Check for root Input ports with missing range definitions

Not Run

  Check for root Output ports with missing range definitions

Not Run

  Check usage of Reciprocal Sqrt blocks

Not Run

  Check usage of Assignment blocks

Not Run

  Check global variables in graphical functions

Identify expressions that both read and write to the same global data.

Passed
No expressions found that both read and write to the same global data.

  Check usage of Gain blocks

Identify Gain blocks with value which resolves to 1.

Passed
No Gain blocks found with value which resolves to 1.

  Check for length of user-defined object names

Not Run

  Check data type of loop control variables

Not Run

  Check for divide-by-zero calculations

Not Run

  Check for parameter tunability ignored for referenced models

Check for models parameter tunability information specified using Model Parameter Configuration dialog boxes.

Passed
No parameters found that lose the tunability defined in the referenced models.

  Check usage of bit-shift operations

Not Run

  Check safety-related diagnostic settings for variants

Check diagnostic settings in the model configuration that apply to variants and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Variant condition mismatch at signal source and destination (VariantConditionMismatch) none error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check for disabled and parameterized library links

Identify disabled and parameterized library links in the model.

Passed
No blocks found that have disabled or parameterized library links.

  Check for root Outports with missing properties

Not Run

  Check for unreachable and dead code

Not Run



                2.23.1.2 Stateflow  0  0  1  0  7  4

  Check state machine type of Stateflow charts

Identify Stateflow Charts whose State Machine Type differs from the type set in the Model Advisor Configuration Editor.

Passed
No Stateflow Charts found that deviate from recommended state machine type.

  Check Stateflow charts for ordering of states and transitions

Identify Stateflow charts that do not use explicit ordering of parallel states and transitions.

Passed
No Stateflow Charts found that deviate from recommended state/transition execution order settings.

  Check usage of recursions

Not Run

  Check Stateflow debugging options

Identify whether Stateflow debugging options are set appropriately.

Warning
The following Stateflow debugging options are not set appropriately:

Parameter Current Value Recommended Values
Wrap on overflow (IntegerOverflowMsg) warning error
Simulation range checking (SignalRangeChecking) none error


Recommended Action
Change the Stateflow debugging options to the recommended value.

  Check Stateflow charts for transition paths that cross parallel state boundaries

Identify transition paths that cross parallel state boundaries in Stateflow charts.

Passed
No transition paths crossing parallel state boundaries were found in Stateflow charts.

  Check for inappropriate use of transition paths

Identify transition paths that go into and out of a state without ending on a substate.

Passed
No transition paths found that go into and out of a state without ending on a substate.

  Check Stateflow charts for strong data typing

Not Run

  Check naming of ports in Stateflow charts

Identify mismatches between names of Stateflow ports and associated signals.

Passed
There are no name mismatches between Stateflow ports and associated signals

  Check scoping of Stateflow data objects

Identify Stateflow data objects with local scope that are not scoped at the chart level or below.

Passed
All Stateflow data objects are properly scoped.

  Check Stateflow charts for uniquely defined data objects

Identify local data identifiers that are defined in multiple scopes within a chart.

Passed
No Stateflow data identifiers found to be defined in multiple scopes.

  Check assignment operations in Stateflow charts

Not Run

  Check Stateflow charts for unary operators

Not Run



                2.23.1.3 MATLAB  0  0  0  0  7  4

  Check usage of standardized MATLAB function headers

Identify usage of standardized function headers in MATLAB function.

Passed
No MATLAB function blocks found without standardized function headers.

  Check for MATLAB Function interfaces with inherited properties

Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity or data type properties.

Passed
No MATLAB Function interfaces with inherited complexity or data type properties found.

  Check MATLAB Function metrics

Identify MATLAB Functions that violate code and complexity metrics.

Passed
No MATLAB Function blocks found that violate code and complexity metrics.

  Check MATLAB Code Analyzer messages

Check MATLAB functions for %#codegen directive, MATLAB Code Analyzer messages, and justification message IDs.

Passed
No MATLAB Function blocks found with Code Analyzer messages, missing %#codegen directive or inappropriate usage of justification message IDs.

  Check if/elseif/else patterns in MATLAB Function blocks

Identify if/elseif/else patterns without appropriate else conditions in embedded MATLAB code.

Passed
No inappropriate if/elseif/else patterns found.

  Check switch statements in MATLAB Function blocks

Identify inappropriately used switch statements in embedded MATLAB code.

Passed
No inappropriately used switch statements found.

  Check usage of relational operators in MATLAB Function blocks

Not Run

  Check usage of logical operators and functions in MATLAB Function blocks

Not Run

  Check type and size of condition expressions

Not Run

  Check MATLAB functions not supported for code generation

Identify MATLAB functions that are not supported for code generation.

Passed
All identified MATLAB functions are supported for code generation.

  Metrics for generated code complexity

Not Run



                2.23.1.4 Configuration  0  0  24  0  8  0

  Check safety-related diagnostic settings for data store memory

Check diagnostic settings in the model configuration that apply to data store memory and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Detect read before write (ReadBeforeWriteMsg) UseLocalSettings EnableAllAsError
Warning Detect write after read (WriteAfterReadMsg) UseLocalSettings EnableAllAsError
Warning Detect write after write (WriteAfterWriteMsg) UseLocalSettings EnableAllAsError
Warning Duplicate data store names (UniqueDataStoreMsg) none error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for saving

Check diagnostic settings in the model configuration that apply to saving model files.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Block diagram contains disabled library links (SaveWithDisabledLinksMsg) warning error
Warning Block diagram contains parameterized library links (SaveWithParameterizedLinksMsg) warning error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related model referencing settings

Check model referencing settings in the model configuration that might impact safety.

Passed
All constraints on model configuration parameters have been met.

Status Parameter Current Value Recommended Values
Pass Rebuild (UpdateModelReferenceTargets) IfOutOfDateOrStructuralChange AssumeUpToDate, IfOutOfDateOrStructuralChange
Pass Pass fixed-size scalar root inputs by value for code generation (ModelReferencePassRootInputsByReference) * on on
Pass Minimize algebraic loop occurrences (ModelReferenceMinAlgLoopOccurrences) off off


Recommended Action


* The Command-Line values provided in the table are reverse of the settings in the Configuration Parameters Dialog. Therefore, 'on' in the Command-Line corresponds to an "Off" setting in the dialog, and 'off' in the Command-Line corresponds to an "On" setting in the dialog.

  Check safety-related code generation settings for comments

Check code generation settings in the model configuration that apply comments and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values Prerequisites
Warning Show eliminated blocks (ShowEliminatedStatement) off on GenerateComments
D - Warning System target file (SystemTargetFile) Non-ERT based target ERT based target  
Warning Verbose comments for 'Model default' storage class (ForceParamTrailComments) off on GenerateComments
Warning ReqsInCode Prerequisite constraint not met. on SystemTargetFile, GenerateComments


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related code generation interface settings

Check code generation interface settings in the model configuration that might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values Prerequisites
Warning Support non-finite numbers (SupportNonFinite) on off  
Warning SupportAbsoluteTime Prerequisite constraint not met. off SystemTargetFile
Warning SupportContinuousTime Prerequisite constraint not met. off SystemTargetFile
D - Warning System target file (SystemTargetFile) Non-ERT based target ERT based target  
Warning SupportNonInlinedSFcns Prerequisite constraint not met. off SystemTargetFile
Warning IncludeMdlTerminateFcn Prerequisite constraint not met. off SystemTargetFile
Warning SuppressErrorStatus Prerequisite constraint not met. on SystemTargetFile
Warning MAT-file logging (MatFileLogging) on off  


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related solver settings for simulation time

Identify if the model Start time is set to 0 and Stop time is less than the Application Life Span.

Passed
No issues found with solver settings for simulation time.

  Check safety-related solver settings for solver options

Check solver settings in the model configuration that apply to solvers and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Type (SolverType) Variable-step Fixed-step
Warning Solver (SolverName) VariableStepAuto FixedStepDiscrete


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related solver settings for tasking and sample-time

Check solver settings in the model configuration that apply to tasking and sample-time constraints and might impact safety.

Passed
All constraints on model configuration parameters have been met.

  Check safety-related diagnostic settings for solvers

Check diagnostic settings in the model configuration that apply to solvers and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Algebraic loop (AlgebraicLoopMsg) warning error
Warning Minimize algebraic loop (ArtificialAlgebraicLoopMsg) warning error
Warning Block priority violation (BlockPriorityViolationMsg) warning error
Warning Automatic solver parameter selection (SolverPrmCheckMsg) none error
Warning State name clash (StateNameClashWarn) none warning


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for sample time

Check diagnostic settings in the model configuration that apply to sample time and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Source block specifies -1 sample time (InheritedTsInSrcMsg) warning error
Warning Enforce sample times specified by Signal Specification blocks (SigSpecEnsureSampleTimeMsg) warning error
Warning Single task data transfer (SingleTaskRateTransMsg) none error
Warning Tasks with equal priority (TasksWithSamePriorityMsg) warning error
Warning Unspecified inheritability of sample time (UnknownTsInhSupMsg) warning error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related optimization settings for logic signals

Check optimization settings in the model configuration that apply to logic signals and might impact safety.

Passed
All constraints on model configuration parameters have been met.

Status Parameter Current Value Recommended Values
Pass Implement logic signals as Boolean data (vs. double) (BooleanDataType) on on

  Check safety-related block reduction optimization settings

Check block reduction optimization settings in the model configuration that might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Block reduction (BlockReduction) on off


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related code generation settings for code style

Check code generation settings in the model configuration that apply to code style and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values Prerequisites
Warning ParenthesesLevel Prerequisite constraint not met. Maximum, Standards SystemTargetFile
Warning PreserveExpressionOrder Prerequisite constraint not met. on SystemTargetFile
D - Warning System target file (SystemTargetFile) Non-ERT based target ERT based target  


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related optimization settings for application lifespan

Check optimization settings in the model configuration that apply to application lifespan and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Application lifespan (days) (LifeSpan) auto inf


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related code generation identifier settings

Check code generation identifier settings in the model configuration that might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values Not Recommended Values Prerequisites
D - Warning System target file (SystemTargetFile) Non-ERT based target ERT based target    
Warning MangleLength Prerequisite constraint not met.   1, 2, 3 SystemTargetFile


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related optimization settings for data initialization

Check optimization settings in the model configuration that apply to data initialization and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values Prerequisites
D - Warning System target file (SystemTargetFile) Non-ERT based target ERT based target  
Warning ZeroExternalMemoryAtStartup* Prerequisite constraint not met. on SystemTargetFile, CodeInterfacePackaging
Warning ZeroInternalMemoryAtStartup* Prerequisite constraint not met. on SystemTargetFile, CodeInterfacePackaging


Recommended Action
Follow the links in the result table to modify the model configuration parameters.


* The Command-Line values provided in the table are reverse of the settings in the Configuration Parameters Dialog. Therefore, 'on' in the Command-Line corresponds to an "Off" setting in the dialog, and 'off' in the Command-Line corresponds to an "On" setting in the dialog.

  Check safety-related optimization settings for data type conversions

Check optimization settings in the model configuration that apply to data type conversions and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Remove code from floating-point to integer conversions that wraps out-of-range values (EfficientFloat2IntCast) off on


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related optimization settings for division arithmetic exceptions

Check optimization settings in the model configuration that apply to division arithmetic exceptions and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values Prerequisites
D - Warning System target file (SystemTargetFile) Non-ERT based target ERT based target  
Warning NoFixptDivByZeroProtection Prerequisite constraint not met. off SystemTargetFile


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related optimization settings for specified minimum and maximum values

Check optimization settings in the model configuration that apply to specified minimum and maximum values and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values Prerequisites
Warning UseSpecifiedMinMax Prerequisite constraint not met. off SystemTargetFile
D - Warning System target file (SystemTargetFile) Non-ERT based target ERT based target  


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related settings for hardware implementation

Check 'Byte ordering' and 'Signed integer division rounds to' parameters
Identify inconsistencies or underspecification of hardware attributes that can lead to incorrect and inefficient generated code.

Passed
Target specification is consistent.

Check whether 'Production hardware' and 'Test hardware' match
Search for 'Test hardware is the same as production hardware' in the Configuration Parameters dialog box and check if it is selected. If it is cleared, identify whether target specifications match.

Passed
'Test hardware is the same as production hardware' is selected or is cleared and the target specifications match.

  Check safety-related diagnostic settings for compatibility

Check diagnostic settings in the model configuration that affect compatibility and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning S-function upgrades needed (SFcnCompatibilityMsg) none error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for parameters

Check diagnostic settings in the model configuration that apply to parameters and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Detect underflow (ParameterUnderflowMsg) none error
Warning Detect precision loss (ParameterPrecisionLossMsg) warning error
Warning Detect loss of tunability (ParameterTunabilityLossMsg) warning error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for Merge blocks

Check diagnostic settings in the model configuration that apply to Merge blocks and might impact safety.

Passed
All constraints on model configuration parameters have been met.

Status Parameter Current Value Recommended Values
Pass Detect multiple driving blocks executing at the same time step (MergeDetectMultiDrivingBlocksExec) error error

  Check safety-related diagnostic settings for model initialization

Check diagnostic settings in the model configuration that affect model initialization and might impact safety.

Passed
All constraints on model configuration parameters have been met.

Status Parameter Current Value Recommended Values
Pass Underspecified initialization detection (UnderspecifiedInitializationDetection) Simplified Simplified

  Check safety-related diagnostic settings for data used for debugging

Check diagnostic settings in the model configuration that apply to data used for debugging and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Model Verification block enabling (AssertControl) UseLocalSettings DisableAll


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for signal connectivity

Check diagnostic settings in the model configuration that apply to signal connectivity and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Signal label mismatch (SignalLabelMismatchMsg) none error
Warning Unconnected block input ports (UnconnectedInputMsg) none error
Warning Unconnected block output ports (UnconnectedOutputMsg) none error
Warning Unconnected line (UnconnectedLineMsg) none error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for bus connectivity

Check diagnostic settings in the model configuration that apply to bus connectivity and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Unspecified bus object at root Outport block (RootOutportRequireBusObject) warning error
Warning Element name mismatch (BusObjectLabelMismatch) warning error
Warning Bus signal treated as vector (StrictBusMsg) ErrorLevel1 ErrorOnBusTreatedAsVector
Warning Non-bus signals treated as bus signals (NonBusSignalsTreatedAsBus) none error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings that apply to function-call connectivity

Check diagnostic settings in the model configuration that apply to function-call connectivity and might impact safety.

Passed
All constraints on model configuration parameters have been met.

Status Parameter Current Value Recommended Values
Pass InvalidFcnCallConnMsg error error
Pass Context-dependent inputs (FcnCallInpInsideContextMsg) error error

  Check safety-related diagnostic settings for type conversions

Check diagnostic settings in the model configuration that apply to type conversions and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Unnecessary type conversions (UnnecessaryDatatypeConvMsg) none warning
Warning Vector/matrix block input conversion (VectorMatrixConversionMsg) none error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for model referencing

Check diagnostic settings in the model configuration that apply to model referencing and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Port and parameter mismatch (ModelReferenceIOMismatchMessage) none error
Warning Invalid root Inport/Outport block connection (ModelReferenceIOMsg) none error
Warning Unsupported data logging (ModelReferenceDataLoggingMessage) warning error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for Stateflow

Check diagnostic settings in the model configuration that apply to Stateflow and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Invalid input data access in chart initialization (SFInvalidInputDataAccessInChartInitDiag) warning error
Warning Transition outside natural parent (SFTransitionOutsideNaturalParentDiag) warning error
Warning Unreachable execution path (SFUnreachableExecutionPathDiag) warning error
Warning Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) warning error
Warning Transition action specified before condition action (SFTransitionActionBeforeConditionDiag) warning error
Warning Absolute time temporal value shorter than sampling period (SFTemporalDelaySmallerThanSampleTimeDiag) warning error
Warning Self-transition on leaf state (SFSelfTransitionDiag) warning error
Warning 'Execute-at-initialization' disabled in presence of input events (SFExecutionAtInitializationDiag) warning error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for signal data

Check diagnostic settings in the model configuration that apply to signal data and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Division by singular matrix (CheckMatrixSingularityMsg) none error
Warning Underspecified data types (UnderSpecifiedDataTypeMsg) none error
Warning Wrap on overflow (IntegerOverflowMsg) warning error
Warning Saturate on overflow (IntegerSaturationMsg) warning error
Warning Inf or NaN block output (SignalInfNanChecking) none error
Warning Simulation range checking (SignalRangeChecking) none error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.



                2.23.1.5 Naming  0  0  0  0  1  1

  Check model file name

Identify inappropriate characters and length issues in model file name.

Passed
No issues found with model file name.

  Check model object names

Not Run



                2.23.1.6 Requirements  0  0  1  0  0  0

  Check for model elements that do not link to requirements

Check for model elements that do not link to a requirements document.

Warning
The following model elements do not link to a requirements document:

Recommended Action
For each model element in the list, in the Model Editor, right-click the model element, select Requirements, and specify a requirement.
Check the Traceability Matrix for viewing requirements and their links to blocks in Simulink model in a compact format.



                2.23.1.7 Code  0  0  1  0  1  0

  Check for blocks not recommended for MISRA C:2012

Passed

  Check configuration parameters for MISRA C:2012

Identify configuration parameters that might impact MISRA C:2012 compliant code generation.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values Prerequisites
Warning Model Verification block enabling (AssertControl) UseLocalSettings DisableAll  
D - Warning Shared code placement (UtilityFuncGeneration) Auto Shared location  
Warning Generate shared constants (GenerateSharedConstants) Prerequisite constraint not met. off UtilityFuncGeneration
D - Warning System target file (SystemTargetFile) Non-ERT based target ERT based target  
Warning SupportContinuousTime Prerequisite constraint not met. off SystemTargetFile
Warning SupportNonInlinedSFcns Prerequisite constraint not met. off SystemTargetFile
Warning MAT-file logging (MatFileLogging) on off  
Warning ParenthesesLevel Prerequisite constraint not met. Standards, Maximum SystemTargetFile
Warning SuppressUnreachableDefaultCases Parameter is inactive! Enable parameter or modify dependent parameter value. off  
Warning CastingMode Prerequisite constraint not met. Standards SystemTargetFile
Warning InternalIdentifier Prerequisite constraint not met. Shortened SystemTargetFile
Warning Use division for fixed-point net slope computation (UseDivisionForNetSlopeComputation) off on, UseDivisionForReciprocalsOfIntegersOnly  
Warning EnableSignedLeftShifts Prerequisite constraint not met. off SystemTargetFile
Warning EnableSignedRightShifts Prerequisite constraint not met. off SystemTargetFile
Warning Inf or NaN block output (SignalInfNanChecking) none warning  
Warning Dynamic memory allocation in MATLAB functions (MATLABDynamicMemAlloc) on off  
Warning Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) warning error  
Warning Compile-time recursion limit for MATLAB functions (CompileTimeRecursionLimit) 50 0  
Warning Enable run-time recursion for MATLAB functions (EnableRuntimeRecursion) on off  
Warning MATLABFcnDesc Prerequisite constraint not met. on GenerateComments, SystemTargetFile
Warning Leverage target hardware instruction set extensions (InstructionSetExtensions) SSE2 None  
∧ Less


Recommended Action
Modify the configuration parameters listed above to the recommended values.



            2.23.2 Simulink  0  0  1  0  0  0

  Identify unconnected lines, input ports, and output ports

Identify unconnected lines, input ports, and output ports in the model

Warning
The following lines, input ports, or output ports are not properly connected in system: untitled

Recommended Action
Connect the blocks specified in the list



            2.23.3 Library Links  0  0  0  0  1  0

Passed



            2.23.4 Requirements Consistency  0  0  0  0  4  0

  Identify requirement links that specify invalid locations within documents

Passed

  Identify requirement links with missing documents

Passed

  Identify requirement links with path type inconsistent with preferences

Passed

  Identify selection-based links having description fields that do not match their requirements document text

Passed



        2.24 Modeling Standards for DO-254  0  0  17  0  43  33

  Display model version information

Not Run



            2.24.1 High-Integrity Systems  0  0  12  0  19  21


                2.24.1.1 Simulink  0  0  1  0  5  16

  Check usage of Abs blocks

Not Run

  Check usage of conditionally executed subsystems

Not Run

  Check relational comparisons on floating-point signals

Not Run

  Check usage of Relational Operator blocks

Not Run

  Check usage of Logical Operator blocks

Not Run

  Check usage of bitwise operations

Not Run

  Check for inconsistent vector indexing methods

Identify inconsistent usage of vector indexing methods across the model or subsystem.

Passed
No blocks found using inconsistent indexing modes.

  Check data types for blocks with index signals

Not Run

  Check for root Input ports with missing properties

Not Run

  Check for root Input ports with missing range definitions

Not Run

  Check for root Output ports with missing range definitions

Not Run

  Check usage of Assignment blocks

Not Run

  Check global variables in graphical functions

Identify expressions that both read and write to the same global data.

Passed
No expressions found that both read and write to the same global data.

  Check usage of Gain blocks

Identify Gain blocks with value which resolves to 1.

Passed
No Gain blocks found with value which resolves to 1.

  Check for length of user-defined object names

Not Run

  Check data type of loop control variables

Not Run

  Check for parameter tunability ignored for referenced models

Check for models parameter tunability information specified using Model Parameter Configuration dialog boxes.

Passed
No parameters found that lose the tunability defined in the referenced models.

  Check usage of bit-shift operations

Not Run

  Check safety-related diagnostic settings for variants

Check diagnostic settings in the model configuration that apply to variants and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Variant condition mismatch at signal source and destination (VariantConditionMismatch) none error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check for disabled and parameterized library links

Identify disabled and parameterized library links in the model.

Passed
No blocks found that have disabled or parameterized library links.

  Check for root Outports with missing properties

Not Run

  Check for unreachable and dead code

Not Run



                2.24.1.2 Stateflow  0  0  1  0  6  2

  Check Stateflow charts for ordering of states and transitions

Identify Stateflow charts that do not use explicit ordering of parallel states and transitions.

Passed
No Stateflow Charts found that deviate from recommended state/transition execution order settings.

  Check usage of recursions

Not Run

  Check Stateflow debugging options

Identify whether Stateflow debugging options are set appropriately.

Warning
The following Stateflow debugging options are not set appropriately:

Parameter Current Value Recommended Values
Wrap on overflow (IntegerOverflowMsg) warning error
Simulation range checking (SignalRangeChecking) none error


Recommended Action
Change the Stateflow debugging options to the recommended value.

  Check Stateflow charts for transition paths that cross parallel state boundaries

Identify transition paths that cross parallel state boundaries in Stateflow charts.

Passed
No transition paths crossing parallel state boundaries were found in Stateflow charts.

  Check for inappropriate use of transition paths

Identify transition paths that go into and out of a state without ending on a substate.

Passed
No transition paths found that go into and out of a state without ending on a substate.

  Check naming of ports in Stateflow charts

Identify mismatches between names of Stateflow ports and associated signals.

Passed
There are no name mismatches between Stateflow ports and associated signals

  Check scoping of Stateflow data objects

Identify Stateflow data objects with local scope that are not scoped at the chart level or below.

Passed
All Stateflow data objects are properly scoped.

  Check Stateflow charts for uniquely defined data objects

Identify local data identifiers that are defined in multiple scopes within a chart.

Passed
No Stateflow data identifiers found to be defined in multiple scopes.

  Check Stateflow charts for unary operators

Not Run



                2.24.1.3 MATLAB  0  0  0  0  5  2

  Check usage of standardized MATLAB function headers

Identify usage of standardized function headers in MATLAB function.

Passed
No MATLAB function blocks found without standardized function headers.

  Check MATLAB Code Analyzer messages

Check MATLAB functions for %#codegen directive, MATLAB Code Analyzer messages, and justification message IDs.

Passed
No MATLAB Function blocks found with Code Analyzer messages, missing %#codegen directive or inappropriate usage of justification message IDs.

  Check if/elseif/else patterns in MATLAB Function blocks

Identify if/elseif/else patterns without appropriate else conditions in embedded MATLAB code.

Passed
No inappropriate if/elseif/else patterns found.

  Check switch statements in MATLAB Function blocks

Identify inappropriately used switch statements in embedded MATLAB code.

Passed
No inappropriately used switch statements found.

  Check usage of relational operators in MATLAB Function blocks

Not Run

  Check usage of logical operators and functions in MATLAB Function blocks

Not Run

  Check MATLAB functions not supported for code generation

Identify MATLAB functions that are not supported for code generation.

Passed
All identified MATLAB functions are supported for code generation.



                2.24.1.4 Configuration  0  0  9  0  2  0

  Check safety-related diagnostic settings for saving

Check diagnostic settings in the model configuration that apply to saving model files.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Block diagram contains disabled library links (SaveWithDisabledLinksMsg) warning error
Warning Block diagram contains parameterized library links (SaveWithParameterizedLinksMsg) warning error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related model referencing settings

Check model referencing settings in the model configuration that might impact safety.

Passed
All constraints on model configuration parameters have been met.

Status Parameter Current Value Recommended Values
Pass Rebuild (UpdateModelReferenceTargets) IfOutOfDateOrStructuralChange AssumeUpToDate, IfOutOfDateOrStructuralChange
Pass Pass fixed-size scalar root inputs by value for code generation (ModelReferencePassRootInputsByReference) * on on
Pass Minimize algebraic loop occurrences (ModelReferenceMinAlgLoopOccurrences) off off


Recommended Action


* The Command-Line values provided in the table are reverse of the settings in the Configuration Parameters Dialog. Therefore, 'on' in the Command-Line corresponds to an "Off" setting in the dialog, and 'off' in the Command-Line corresponds to an "On" setting in the dialog.

  Check safety-related block reduction optimization settings

Check block reduction optimization settings in the model configuration that might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Block reduction (BlockReduction) on off


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for parameters

Check diagnostic settings in the model configuration that apply to parameters and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Detect underflow (ParameterUnderflowMsg) none error
Warning Detect precision loss (ParameterPrecisionLossMsg) warning error
Warning Detect loss of tunability (ParameterTunabilityLossMsg) warning error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for model initialization

Check diagnostic settings in the model configuration that affect model initialization and might impact safety.

Passed
All constraints on model configuration parameters have been met.

Status Parameter Current Value Recommended Values
Pass Underspecified initialization detection (UnderspecifiedInitializationDetection) Simplified Simplified

  Check safety-related diagnostic settings for signal connectivity

Check diagnostic settings in the model configuration that apply to signal connectivity and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Signal label mismatch (SignalLabelMismatchMsg) none error
Warning Unconnected block input ports (UnconnectedInputMsg) none error
Warning Unconnected block output ports (UnconnectedOutputMsg) none error
Warning Unconnected line (UnconnectedLineMsg) none error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for bus connectivity

Check diagnostic settings in the model configuration that apply to bus connectivity and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Unspecified bus object at root Outport block (RootOutportRequireBusObject) warning error
Warning Element name mismatch (BusObjectLabelMismatch) warning error
Warning Bus signal treated as vector (StrictBusMsg) ErrorLevel1 ErrorOnBusTreatedAsVector
Warning Non-bus signals treated as bus signals (NonBusSignalsTreatedAsBus) none error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for type conversions

Check diagnostic settings in the model configuration that apply to type conversions and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Unnecessary type conversions (UnnecessaryDatatypeConvMsg) none warning
Warning Vector/matrix block input conversion (VectorMatrixConversionMsg) none error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for model referencing

Check diagnostic settings in the model configuration that apply to model referencing and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Port and parameter mismatch (ModelReferenceIOMismatchMessage) none error
Warning Invalid root Inport/Outport block connection (ModelReferenceIOMsg) none error
Warning Unsupported data logging (ModelReferenceDataLoggingMessage) warning error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for Stateflow

Check diagnostic settings in the model configuration that apply to Stateflow and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Invalid input data access in chart initialization (SFInvalidInputDataAccessInChartInitDiag) warning error
Warning Transition outside natural parent (SFTransitionOutsideNaturalParentDiag) warning error
Warning Unreachable execution path (SFUnreachableExecutionPathDiag) warning error
Warning Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) warning error
Warning Transition action specified before condition action (SFTransitionActionBeforeConditionDiag) warning error
Warning Absolute time temporal value shorter than sampling period (SFTemporalDelaySmallerThanSampleTimeDiag) warning error
Warning Self-transition on leaf state (SFSelfTransitionDiag) warning error
Warning 'Execute-at-initialization' disabled in presence of input events (SFExecutionAtInitializationDiag) warning error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for signal data

Check diagnostic settings in the model configuration that apply to signal data and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Division by singular matrix (CheckMatrixSingularityMsg) none error
Warning Underspecified data types (UnderSpecifiedDataTypeMsg) none error
Warning Wrap on overflow (IntegerOverflowMsg) warning error
Warning Saturate on overflow (IntegerSaturationMsg) warning error
Warning Inf or NaN block output (SignalInfNanChecking) none error
Warning Simulation range checking (SignalRangeChecking) none error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.



                2.24.1.5 Naming  0  0  0  0  1  1

  Check model file name

Identify inappropriate characters and length issues in model file name.

Passed
No issues found with model file name.

  Check model object names

Not Run



                2.24.1.6 Requirements  0  0  1  0  0  0

  Check for model elements that do not link to requirements

Check for model elements that do not link to a requirements document.

Warning
The following model elements do not link to a requirements document:

Recommended Action
For each model element in the list, in the Model Editor, right-click the model element, select Requirements, and specify a requirement.
Check the Traceability Matrix for viewing requirements and their links to blocks in Simulink model in a compact format.



            2.24.2 Library Links  0  0  0  0  1  0

Passed



            2.24.3 Requirements Consistency  0  0  0  0  4  0

  Identify requirement links that specify invalid locations within documents

Passed

  Identify requirement links with missing documents

Passed

  Identify requirement links with path type inconsistent with preferences

Passed

  Identify selection-based links having description fields that do not match their requirements document text

Passed



            2.24.4 HDL Coder  0  0  5  0  19  11


                2.24.4.1 Checks for blocks and block settings  0  0  1  0  6  2

  Check for HDL Reciprocal block usage

Not Run

  Check for infinite and continuous sample time sources

Passed : Check for infinite and continuous sample time sources

  Check for unsupported blocks

Warn : Check for unsupported blocks

Warning : The following blocks are not supported:

  Check for MATLAB Function block settings

Passed : Check for MATLAB Function block settings

  Check for Stateflow chart settings

Passed : Check for Stateflow chart settings

  Check for Trigonometric Function block for LUT-based approximation method

Passed : Check for Trigonometric Function block for LUT-based approximation method

  Check for obsolete Unit Delay Enabled/Resettable blocks

Passed : Check for obsolete Unit Delay Enabled/Resettable blocks

  Check for unsupported storage class for signal objects

Passed : Check for unsupported storage class for signal objects

  Check for large matrix operations

Not Run



                2.24.4.2 Industry standard checks  0  0  2  0  9  0

  Check file extension

Passed : Check file extension

  Check naming conventions

Passed : Check naming conventions

  Check top-level subsystem/port names

Passed : Check top-level subsystem/port names

  Check module/entity names

Passed : Check module/entity names

  Check package file names

Warn : Check package file names

Warning : The postfix for the package file is '_pkg'. Industry standards recommend '_pac' as the postfix name.

  Check signal and port names

Passed : Check signal and port names

  Check generics

Passed : Check generics

  Check clock, reset, and enable signals

Warn : Check clock, reset, and enable signals

Warning : Recommended naming conventions are not followed by the reset signal 'reset'.

  Check architecture name

Passed : Check architecture name

  Check entity and architecture

Passed : Check entity and architecture

  Check clock settings

Passed : Check clock settings



                2.24.4.3 Model configuration checks  0  0  2  0  3  1

  Check for model parameters suited for the HDL code generation

Warn : Check for model parameters suited for the HDL code generation

Warning : Following recommended model settings are not compliant

  • The parameter SingleTaskRateTransMsg is set to none, but it should be set to error.
  • The parameter Solver is set to VariableStepAuto, but it should be set to FixedStepDiscrete.
  • The parameter AlgebraicLoopMsg is set to warning, but it should be set to error.
  • The parameter ShowLineDimensions is set to off, but it should be set to on.
  • The parameter ShowPortDataTypes is set to off, but it should be set to on.
  • The parameter BlockReduction is set to on, but it should be set to off.
  • The parameter ConditionallyExecuteInputs is set to on, but it should be set to off.
  • The parameter DefaultParameterBehavior is set to Tunable, but it should be set to Inlined.
  • The parameter ProdHWDeviceType is set to Intel->x86-64 (Windows64), but it should be set to ASIC/FPGA->ASIC/FPGA.
  • The parameter DataTypeOverride is set to UseLocalSettings, but it should be set to Off.
  • The parameter InheritOutputTypeSmallerThanSingle is set to off, but it should be set to on.
  • The parameter UnconnectedInputMsg is set to none, but it should be set to error, warning.
  • The parameter UnconnectedOutputMsg is set to none, but it should be set to error, warning.
  • The parameter UnconnectedLineMsg is set to none, but it should be set to error, warning.
∧ Less

  Check for global reset setting for Xilinx and Altera devices

Passed : Check for global reset setting for Xilinx and Altera devices

  Check inline configurations setting

Passed : Check inline configurations setting

  Check for visualization settings

Warn : Check for visualization settings

Message : Following recommended model settings are not compliant

  • Data type display on signals and ports is disabled.
  • Sample time display is disabled. There will not be any color codes representing sample times.

  Check delay balancing setting

Passed : Check delay balancing setting

  Check algebraic loops

Not Run



                2.24.4.4 Native Floating Point checks  0  0  0  0  0  8

  Check for blocks that have nonzero output latency

Not Run

  Check blocks with nonzero ulp error

Not Run

  Check for single datatypes in the model

Not Run

  Check for double datatypes in the model

Not Run

  Check for Data Type Conversion blocks with incompatible settings

Not Run

  Check for HDL Reciprocal block usage

Not Run

  Check for Relational Operator block usage

Not Run

  Check for unsupported blocks with Native Floating Point

Not Run



                2.24.4.5 Checks for ports and subsystems  0  0  0  0  1  0

  Check for invalid top level subsystem

Passed : Check for invalid top level subsystem



        2.25 Modeling Standards for IEC 61508  0  0  29  0  35  36

  Display configuration management data

Not Run

  Display model metrics and complexity report


Simulink

Block Type Count
SimscapeBlock 2

Model complexity information
Display name, level, and depth of subsystems

No subsystems found.

  Check for unconnected objects

Identify unconnected lines, input ports, and output ports in the model

Warning
The following lines, input ports, or output ports are not properly connected in system: untitled

Recommended Action
Connect the blocks specified in the list



            2.25.1 High-Integrity Systems  0  0  28  0  34  35


                2.25.1.1 Simulink  0  0  1  0  10  26

  Check usage of Abs blocks

Not Run

  Check usage of remainder and reciprocal operations

Not Run

  Check usage of square root operations

Not Run

  Check usage of log and log10 operations

Not Run

  Check usage of While Iterator blocks

Identify While Iterator blocks that do not have a positive value for the maximum number of iterations.

Passed
No While Iterator blocks found that might cause infinite loops

  Check usage of For and While Iterator subsystems

Identify sample time-dependent blocks in While and For Iterator subsystems.

Passed
No sample time-dependent blocks in For or While Iterator subsystems.

  Check usage of For Iterator blocks

Not Run

  Check usage of If blocks and If Action Subsystem blocks

Not Run

  Check usage of Switch Case blocks and Switch Case Action Subsystem blocks

Not Run

  Check usage of conditionally executed subsystems

Not Run

  Check usage of Merge blocks

Not Run

  Check relational comparisons on floating-point signals

Not Run

  Check usage of Relational Operator blocks

Not Run

  Check usage of Logical Operator blocks

Not Run

  Check usage of bitwise operations

Not Run

  Check for blocks not recommended for C/C++ production code deployment

Identify blocks not supported by code generation or not recommended for C/C++ production code deployment.

Passed
No blocks found which are not recommended for C/C++ production code deployment.

  Check for inconsistent vector indexing methods

Identify inconsistent usage of vector indexing methods across the model or subsystem.

Passed
No blocks found using inconsistent indexing modes.

  Check data types for blocks with index signals

Not Run

  Check usage of variant blocks

Check variant block settings that might result in code that doesn't trace back to requirements.

Passed
No variant blocks have "VariantActivationTime" set to 'code compile'.

  Check usage of lookup table blocks

Check for Lookup Table blocks, Prelookup blocks and Interpolation blocks that do not generate out-of-range checking code.

Passed
No lookup table blocks found to not generate out-of-range checking code.

  Check usage of Signal Routing blocks

Not Run

  Check for root Input ports with missing properties

Not Run

  Check for root Input ports with missing range definitions

Not Run

  Check for root Output ports with missing range definitions

Not Run

  Check usage of Reciprocal Sqrt blocks

Not Run

  Check usage of Assignment blocks

Not Run

  Check global variables in graphical functions

Identify expressions that both read and write to the same global data.

Passed
No expressions found that both read and write to the same global data.

  Check usage of Gain blocks

Identify Gain blocks with value which resolves to 1.

Passed
No Gain blocks found with value which resolves to 1.

  Check for length of user-defined object names

Not Run

  Check data type of loop control variables

Not Run

  Check for divide-by-zero calculations

Not Run

  Check for parameter tunability ignored for referenced models

Check for models parameter tunability information specified using Model Parameter Configuration dialog boxes.

Passed
No parameters found that lose the tunability defined in the referenced models.

  Check usage of bit-shift operations

Not Run

  Check safety-related diagnostic settings for variants

Check diagnostic settings in the model configuration that apply to variants and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Variant condition mismatch at signal source and destination (VariantConditionMismatch) none error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check for disabled and parameterized library links

Identify disabled and parameterized library links in the model.

Passed
No blocks found that have disabled or parameterized library links.

  Check for root Outports with missing properties

Not Run

  Check for unreachable and dead code

Not Run



                2.25.1.2 Stateflow  0  0  1  0  7  4

  Check state machine type of Stateflow charts

Identify Stateflow Charts whose State Machine Type differs from the type set in the Model Advisor Configuration Editor.

Passed
No Stateflow Charts found that deviate from recommended state machine type.

  Check Stateflow charts for ordering of states and transitions

Identify Stateflow charts that do not use explicit ordering of parallel states and transitions.

Passed
No Stateflow Charts found that deviate from recommended state/transition execution order settings.

  Check usage of recursions

Not Run

  Check Stateflow debugging options

Identify whether Stateflow debugging options are set appropriately.

Warning
The following Stateflow debugging options are not set appropriately:

Parameter Current Value Recommended Values
Wrap on overflow (IntegerOverflowMsg) warning error
Simulation range checking (SignalRangeChecking) none error


Recommended Action
Change the Stateflow debugging options to the recommended value.

  Check Stateflow charts for transition paths that cross parallel state boundaries

Identify transition paths that cross parallel state boundaries in Stateflow charts.

Passed
No transition paths crossing parallel state boundaries were found in Stateflow charts.

  Check for inappropriate use of transition paths

Identify transition paths that go into and out of a state without ending on a substate.

Passed
No transition paths found that go into and out of a state without ending on a substate.

  Check Stateflow charts for strong data typing

Not Run

  Check naming of ports in Stateflow charts

Identify mismatches between names of Stateflow ports and associated signals.

Passed
There are no name mismatches between Stateflow ports and associated signals

  Check scoping of Stateflow data objects

Identify Stateflow data objects with local scope that are not scoped at the chart level or below.

Passed
All Stateflow data objects are properly scoped.

  Check Stateflow charts for uniquely defined data objects

Identify local data identifiers that are defined in multiple scopes within a chart.

Passed
No Stateflow data identifiers found to be defined in multiple scopes.

  Check assignment operations in Stateflow charts

Not Run

  Check Stateflow charts for unary operators

Not Run



                2.25.1.3 MATLAB  0  0  0  0  7  4

  Check usage of standardized MATLAB function headers

Identify usage of standardized function headers in MATLAB function.

Passed
No MATLAB function blocks found without standardized function headers.

  Check for MATLAB Function interfaces with inherited properties

Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity or data type properties.

Passed
No MATLAB Function interfaces with inherited complexity or data type properties found.

  Check MATLAB Function metrics

Identify MATLAB Functions that violate code and complexity metrics.

Passed
No MATLAB Function blocks found that violate code and complexity metrics.

  Check MATLAB Code Analyzer messages

Check MATLAB functions for %#codegen directive, MATLAB Code Analyzer messages, and justification message IDs.

Passed
No MATLAB Function blocks found with Code Analyzer messages, missing %#codegen directive or inappropriate usage of justification message IDs.

  Check if/elseif/else patterns in MATLAB Function blocks

Identify if/elseif/else patterns without appropriate else conditions in embedded MATLAB code.

Passed
No inappropriate if/elseif/else patterns found.

  Check switch statements in MATLAB Function blocks

Identify inappropriately used switch statements in embedded MATLAB code.

Passed
No inappropriately used switch statements found.

  Check usage of relational operators in MATLAB Function blocks

Not Run

  Check usage of logical operators and functions in MATLAB Function blocks

Not Run

  Check type and size of condition expressions

Not Run

  Check MATLAB functions not supported for code generation

Identify MATLAB functions that are not supported for code generation.

Passed
All identified MATLAB functions are supported for code generation.

  Metrics for generated code complexity

Not Run



                2.25.1.4 Configuration  0  0  24  0  8  0

  Check safety-related diagnostic settings for data store memory

Check diagnostic settings in the model configuration that apply to data store memory and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Detect read before write (ReadBeforeWriteMsg) UseLocalSettings EnableAllAsError
Warning Detect write after read (WriteAfterReadMsg) UseLocalSettings EnableAllAsError
Warning Detect write after write (WriteAfterWriteMsg) UseLocalSettings EnableAllAsError
Warning Duplicate data store names (UniqueDataStoreMsg) none error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for saving

Check diagnostic settings in the model configuration that apply to saving model files.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Block diagram contains disabled library links (SaveWithDisabledLinksMsg) warning error
Warning Block diagram contains parameterized library links (SaveWithParameterizedLinksMsg) warning error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related model referencing settings

Check model referencing settings in the model configuration that might impact safety.

Passed
All constraints on model configuration parameters have been met.

Status Parameter Current Value Recommended Values
Pass Rebuild (UpdateModelReferenceTargets) IfOutOfDateOrStructuralChange AssumeUpToDate, IfOutOfDateOrStructuralChange
Pass Pass fixed-size scalar root inputs by value for code generation (ModelReferencePassRootInputsByReference) * on on
Pass Minimize algebraic loop occurrences (ModelReferenceMinAlgLoopOccurrences) off off


Recommended Action


* The Command-Line values provided in the table are reverse of the settings in the Configuration Parameters Dialog. Therefore, 'on' in the Command-Line corresponds to an "Off" setting in the dialog, and 'off' in the Command-Line corresponds to an "On" setting in the dialog.

  Check safety-related code generation settings for comments

Check code generation settings in the model configuration that apply comments and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values Prerequisites
Warning Show eliminated blocks (ShowEliminatedStatement) off on GenerateComments
D - Warning System target file (SystemTargetFile) Non-ERT based target ERT based target  
Warning Verbose comments for 'Model default' storage class (ForceParamTrailComments) off on GenerateComments
Warning ReqsInCode Prerequisite constraint not met. on SystemTargetFile, GenerateComments


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related code generation interface settings

Check code generation interface settings in the model configuration that might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values Prerequisites
Warning Support non-finite numbers (SupportNonFinite) on off  
Warning SupportAbsoluteTime Prerequisite constraint not met. off SystemTargetFile
Warning SupportContinuousTime Prerequisite constraint not met. off SystemTargetFile
D - Warning System target file (SystemTargetFile) Non-ERT based target ERT based target  
Warning SupportNonInlinedSFcns Prerequisite constraint not met. off SystemTargetFile
Warning IncludeMdlTerminateFcn Prerequisite constraint not met. off SystemTargetFile
Warning SuppressErrorStatus Prerequisite constraint not met. on SystemTargetFile
Warning MAT-file logging (MatFileLogging) on off  


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related solver settings for simulation time

Identify if the model Start time is set to 0 and Stop time is less than the Application Life Span.

Passed
No issues found with solver settings for simulation time.

  Check safety-related solver settings for solver options

Check solver settings in the model configuration that apply to solvers and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Type (SolverType) Variable-step Fixed-step
Warning Solver (SolverName) VariableStepAuto FixedStepDiscrete


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related solver settings for tasking and sample-time

Check solver settings in the model configuration that apply to tasking and sample-time constraints and might impact safety.

Passed
All constraints on model configuration parameters have been met.

  Check safety-related diagnostic settings for solvers

Check diagnostic settings in the model configuration that apply to solvers and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Algebraic loop (AlgebraicLoopMsg) warning error
Warning Minimize algebraic loop (ArtificialAlgebraicLoopMsg) warning error
Warning Block priority violation (BlockPriorityViolationMsg) warning error
Warning Automatic solver parameter selection (SolverPrmCheckMsg) none error
Warning State name clash (StateNameClashWarn) none warning


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for sample time

Check diagnostic settings in the model configuration that apply to sample time and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Source block specifies -1 sample time (InheritedTsInSrcMsg) warning error
Warning Enforce sample times specified by Signal Specification blocks (SigSpecEnsureSampleTimeMsg) warning error
Warning Single task data transfer (SingleTaskRateTransMsg) none error
Warning Tasks with equal priority (TasksWithSamePriorityMsg) warning error
Warning Unspecified inheritability of sample time (UnknownTsInhSupMsg) warning error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related optimization settings for logic signals

Check optimization settings in the model configuration that apply to logic signals and might impact safety.

Passed
All constraints on model configuration parameters have been met.

Status Parameter Current Value Recommended Values
Pass Implement logic signals as Boolean data (vs. double) (BooleanDataType) on on

  Check safety-related block reduction optimization settings

Check block reduction optimization settings in the model configuration that might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Block reduction (BlockReduction) on off


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related code generation settings for code style

Check code generation settings in the model configuration that apply to code style and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values Prerequisites
Warning ParenthesesLevel Prerequisite constraint not met. Maximum, Standards SystemTargetFile
Warning PreserveExpressionOrder Prerequisite constraint not met. on SystemTargetFile
D - Warning System target file (SystemTargetFile) Non-ERT based target ERT based target  


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related optimization settings for application lifespan

Check optimization settings in the model configuration that apply to application lifespan and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Application lifespan (days) (LifeSpan) auto inf


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related code generation identifier settings

Check code generation identifier settings in the model configuration that might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values Not Recommended Values Prerequisites
D - Warning System target file (SystemTargetFile) Non-ERT based target ERT based target    
Warning MangleLength Prerequisite constraint not met.   1, 2, 3 SystemTargetFile


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related optimization settings for data initialization

Check optimization settings in the model configuration that apply to data initialization and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values Prerequisites
D - Warning System target file (SystemTargetFile) Non-ERT based target ERT based target  
Warning ZeroExternalMemoryAtStartup* Prerequisite constraint not met. on SystemTargetFile, CodeInterfacePackaging
Warning ZeroInternalMemoryAtStartup* Prerequisite constraint not met. on SystemTargetFile, CodeInterfacePackaging


Recommended Action
Follow the links in the result table to modify the model configuration parameters.


* The Command-Line values provided in the table are reverse of the settings in the Configuration Parameters Dialog. Therefore, 'on' in the Command-Line corresponds to an "Off" setting in the dialog, and 'off' in the Command-Line corresponds to an "On" setting in the dialog.

  Check safety-related optimization settings for data type conversions

Check optimization settings in the model configuration that apply to data type conversions and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Remove code from floating-point to integer conversions that wraps out-of-range values (EfficientFloat2IntCast) off on


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related optimization settings for division arithmetic exceptions

Check optimization settings in the model configuration that apply to division arithmetic exceptions and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values Prerequisites
D - Warning System target file (SystemTargetFile) Non-ERT based target ERT based target  
Warning NoFixptDivByZeroProtection Prerequisite constraint not met. off SystemTargetFile


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related optimization settings for specified minimum and maximum values

Check optimization settings in the model configuration that apply to specified minimum and maximum values and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values Prerequisites
Warning UseSpecifiedMinMax Prerequisite constraint not met. off SystemTargetFile
D - Warning System target file (SystemTargetFile) Non-ERT based target ERT based target  


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related settings for hardware implementation

Check 'Byte ordering' and 'Signed integer division rounds to' parameters
Identify inconsistencies or underspecification of hardware attributes that can lead to incorrect and inefficient generated code.

Passed
Target specification is consistent.

Check whether 'Production hardware' and 'Test hardware' match
Search for 'Test hardware is the same as production hardware' in the Configuration Parameters dialog box and check if it is selected. If it is cleared, identify whether target specifications match.

Passed
'Test hardware is the same as production hardware' is selected or is cleared and the target specifications match.

  Check safety-related diagnostic settings for compatibility

Check diagnostic settings in the model configuration that affect compatibility and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning S-function upgrades needed (SFcnCompatibilityMsg) none error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for parameters

Check diagnostic settings in the model configuration that apply to parameters and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Detect underflow (ParameterUnderflowMsg) none error
Warning Detect precision loss (ParameterPrecisionLossMsg) warning error
Warning Detect loss of tunability (ParameterTunabilityLossMsg) warning error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for Merge blocks

Check diagnostic settings in the model configuration that apply to Merge blocks and might impact safety.

Passed
All constraints on model configuration parameters have been met.

Status Parameter Current Value Recommended Values
Pass Detect multiple driving blocks executing at the same time step (MergeDetectMultiDrivingBlocksExec) error error

  Check safety-related diagnostic settings for model initialization

Check diagnostic settings in the model configuration that affect model initialization and might impact safety.

Passed
All constraints on model configuration parameters have been met.

Status Parameter Current Value Recommended Values
Pass Underspecified initialization detection (UnderspecifiedInitializationDetection) Simplified Simplified

  Check safety-related diagnostic settings for data used for debugging

Check diagnostic settings in the model configuration that apply to data used for debugging and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Model Verification block enabling (AssertControl) UseLocalSettings DisableAll


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for signal connectivity

Check diagnostic settings in the model configuration that apply to signal connectivity and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Signal label mismatch (SignalLabelMismatchMsg) none error
Warning Unconnected block input ports (UnconnectedInputMsg) none error
Warning Unconnected block output ports (UnconnectedOutputMsg) none error
Warning Unconnected line (UnconnectedLineMsg) none error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for bus connectivity

Check diagnostic settings in the model configuration that apply to bus connectivity and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Unspecified bus object at root Outport block (RootOutportRequireBusObject) warning error
Warning Element name mismatch (BusObjectLabelMismatch) warning error
Warning Bus signal treated as vector (StrictBusMsg) ErrorLevel1 ErrorOnBusTreatedAsVector
Warning Non-bus signals treated as bus signals (NonBusSignalsTreatedAsBus) none error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings that apply to function-call connectivity

Check diagnostic settings in the model configuration that apply to function-call connectivity and might impact safety.

Passed
All constraints on model configuration parameters have been met.

Status Parameter Current Value Recommended Values
Pass InvalidFcnCallConnMsg error error
Pass Context-dependent inputs (FcnCallInpInsideContextMsg) error error

  Check safety-related diagnostic settings for type conversions

Check diagnostic settings in the model configuration that apply to type conversions and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Unnecessary type conversions (UnnecessaryDatatypeConvMsg) none warning
Warning Vector/matrix block input conversion (VectorMatrixConversionMsg) none error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for model referencing

Check diagnostic settings in the model configuration that apply to model referencing and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Port and parameter mismatch (ModelReferenceIOMismatchMessage) none error
Warning Invalid root Inport/Outport block connection (ModelReferenceIOMsg) none error
Warning Unsupported data logging (ModelReferenceDataLoggingMessage) warning error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for Stateflow

Check diagnostic settings in the model configuration that apply to Stateflow and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Invalid input data access in chart initialization (SFInvalidInputDataAccessInChartInitDiag) warning error
Warning Transition outside natural parent (SFTransitionOutsideNaturalParentDiag) warning error
Warning Unreachable execution path (SFUnreachableExecutionPathDiag) warning error
Warning Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) warning error
Warning Transition action specified before condition action (SFTransitionActionBeforeConditionDiag) warning error
Warning Absolute time temporal value shorter than sampling period (SFTemporalDelaySmallerThanSampleTimeDiag) warning error
Warning Self-transition on leaf state (SFSelfTransitionDiag) warning error
Warning 'Execute-at-initialization' disabled in presence of input events (SFExecutionAtInitializationDiag) warning error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for signal data

Check diagnostic settings in the model configuration that apply to signal data and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Division by singular matrix (CheckMatrixSingularityMsg) none error
Warning Underspecified data types (UnderSpecifiedDataTypeMsg) none error
Warning Wrap on overflow (IntegerOverflowMsg) warning error
Warning Saturate on overflow (IntegerSaturationMsg) warning error
Warning Inf or NaN block output (SignalInfNanChecking) none error
Warning Simulation range checking (SignalRangeChecking) none error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.



                2.25.1.5 Naming  0  0  0  0  1  1

  Check model file name

Identify inappropriate characters and length issues in model file name.

Passed
No issues found with model file name.

  Check model object names

Not Run



                2.25.1.6 Requirements  0  0  1  0  0  0

  Check for model elements that do not link to requirements

Check for model elements that do not link to a requirements document.

Warning
The following model elements do not link to a requirements document:

Recommended Action
For each model element in the list, in the Model Editor, right-click the model element, select Requirements, and specify a requirement.
Check the Traceability Matrix for viewing requirements and their links to blocks in Simulink model in a compact format.



                2.25.1.7 Code  0  0  1  0  1  0

  Check for blocks not recommended for MISRA C:2012

Passed

  Check configuration parameters for MISRA C:2012

Identify configuration parameters that might impact MISRA C:2012 compliant code generation.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values Prerequisites
Warning Model Verification block enabling (AssertControl) UseLocalSettings DisableAll  
D - Warning Shared code placement (UtilityFuncGeneration) Auto Shared location  
Warning Generate shared constants (GenerateSharedConstants) Prerequisite constraint not met. off UtilityFuncGeneration
D - Warning System target file (SystemTargetFile) Non-ERT based target ERT based target  
Warning SupportContinuousTime Prerequisite constraint not met. off SystemTargetFile
Warning SupportNonInlinedSFcns Prerequisite constraint not met. off SystemTargetFile
Warning MAT-file logging (MatFileLogging) on off  
Warning ParenthesesLevel Prerequisite constraint not met. Standards, Maximum SystemTargetFile
Warning SuppressUnreachableDefaultCases Parameter is inactive! Enable parameter or modify dependent parameter value. off  
Warning CastingMode Prerequisite constraint not met. Standards SystemTargetFile
Warning InternalIdentifier Prerequisite constraint not met. Shortened SystemTargetFile
Warning Use division for fixed-point net slope computation (UseDivisionForNetSlopeComputation) off on, UseDivisionForReciprocalsOfIntegersOnly  
Warning EnableSignedLeftShifts Prerequisite constraint not met. off SystemTargetFile
Warning EnableSignedRightShifts Prerequisite constraint not met. off SystemTargetFile
Warning Inf or NaN block output (SignalInfNanChecking) none warning  
Warning Dynamic memory allocation in MATLAB functions (MATLABDynamicMemAlloc) on off  
Warning Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) warning error  
Warning Compile-time recursion limit for MATLAB functions (CompileTimeRecursionLimit) 50 0  
Warning Enable run-time recursion for MATLAB functions (EnableRuntimeRecursion) on off  
Warning MATLABFcnDesc Prerequisite constraint not met. on GenerateComments, SystemTargetFile
Warning Leverage target hardware instruction set extensions (InstructionSetExtensions) SSE2 None  
∧ Less


Recommended Action
Modify the configuration parameters listed above to the recommended values.



        2.26 Modeling Standards for IEC 62304  0  0  29  0  35  36

  Display configuration management data

Not Run

  Display model metrics and complexity report


Simulink

Block Type Count
SimscapeBlock 2

Model complexity information
Display name, level, and depth of subsystems

No subsystems found.

  Check for unconnected objects

Identify unconnected lines, input ports, and output ports in the model

Warning
The following lines, input ports, or output ports are not properly connected in system: untitled

Recommended Action
Connect the blocks specified in the list



            2.26.1 High-Integrity Systems  0  0  28  0  34  35


                2.26.1.1 Simulink  0  0  1  0  10  26

  Check usage of Abs blocks

Not Run

  Check usage of remainder and reciprocal operations

Not Run

  Check usage of square root operations

Not Run

  Check usage of log and log10 operations

Not Run

  Check usage of While Iterator blocks

Identify While Iterator blocks that do not have a positive value for the maximum number of iterations.

Passed
No While Iterator blocks found that might cause infinite loops

  Check usage of For and While Iterator subsystems

Identify sample time-dependent blocks in While and For Iterator subsystems.

Passed
No sample time-dependent blocks in For or While Iterator subsystems.

  Check usage of For Iterator blocks

Not Run

  Check usage of If blocks and If Action Subsystem blocks

Not Run

  Check usage of Switch Case blocks and Switch Case Action Subsystem blocks

Not Run

  Check usage of conditionally executed subsystems

Not Run

  Check usage of Merge blocks

Not Run

  Check relational comparisons on floating-point signals

Not Run

  Check usage of Relational Operator blocks

Not Run

  Check usage of Logical Operator blocks

Not Run

  Check usage of bitwise operations

Not Run

  Check for blocks not recommended for C/C++ production code deployment

Identify blocks not supported by code generation or not recommended for C/C++ production code deployment.

Passed
No blocks found which are not recommended for C/C++ production code deployment.

  Check for inconsistent vector indexing methods

Identify inconsistent usage of vector indexing methods across the model or subsystem.

Passed
No blocks found using inconsistent indexing modes.

  Check data types for blocks with index signals

Not Run

  Check usage of variant blocks

Check variant block settings that might result in code that doesn't trace back to requirements.

Passed
No variant blocks have "VariantActivationTime" set to 'code compile'.

  Check usage of lookup table blocks

Check for Lookup Table blocks, Prelookup blocks and Interpolation blocks that do not generate out-of-range checking code.

Passed
No lookup table blocks found to not generate out-of-range checking code.

  Check usage of Signal Routing blocks

Not Run

  Check for root Input ports with missing properties

Not Run

  Check for root Input ports with missing range definitions

Not Run

  Check for root Output ports with missing range definitions

Not Run

  Check usage of Reciprocal Sqrt blocks

Not Run

  Check usage of Assignment blocks

Not Run

  Check global variables in graphical functions

Identify expressions that both read and write to the same global data.

Passed
No expressions found that both read and write to the same global data.

  Check usage of Gain blocks

Identify Gain blocks with value which resolves to 1.

Passed
No Gain blocks found with value which resolves to 1.

  Check for length of user-defined object names

Not Run

  Check data type of loop control variables

Not Run

  Check for divide-by-zero calculations

Not Run

  Check for parameter tunability ignored for referenced models

Check for models parameter tunability information specified using Model Parameter Configuration dialog boxes.

Passed
No parameters found that lose the tunability defined in the referenced models.

  Check usage of bit-shift operations

Not Run

  Check safety-related diagnostic settings for variants

Check diagnostic settings in the model configuration that apply to variants and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Variant condition mismatch at signal source and destination (VariantConditionMismatch) none error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check for disabled and parameterized library links

Identify disabled and parameterized library links in the model.

Passed
No blocks found that have disabled or parameterized library links.

  Check for root Outports with missing properties

Not Run

  Check for unreachable and dead code

Not Run



                2.26.1.2 Stateflow  0  0  1  0  7  4

  Check state machine type of Stateflow charts

Identify Stateflow Charts whose State Machine Type differs from the type set in the Model Advisor Configuration Editor.

Passed
No Stateflow Charts found that deviate from recommended state machine type.

  Check Stateflow charts for ordering of states and transitions

Identify Stateflow charts that do not use explicit ordering of parallel states and transitions.

Passed
No Stateflow Charts found that deviate from recommended state/transition execution order settings.

  Check usage of recursions

Not Run

  Check Stateflow debugging options

Identify whether Stateflow debugging options are set appropriately.

Warning
The following Stateflow debugging options are not set appropriately:

Parameter Current Value Recommended Values
Wrap on overflow (IntegerOverflowMsg) warning error
Simulation range checking (SignalRangeChecking) none error


Recommended Action
Change the Stateflow debugging options to the recommended value.

  Check Stateflow charts for transition paths that cross parallel state boundaries

Identify transition paths that cross parallel state boundaries in Stateflow charts.

Passed
No transition paths crossing parallel state boundaries were found in Stateflow charts.

  Check for inappropriate use of transition paths

Identify transition paths that go into and out of a state without ending on a substate.

Passed
No transition paths found that go into and out of a state without ending on a substate.

  Check Stateflow charts for strong data typing

Not Run

  Check naming of ports in Stateflow charts

Identify mismatches between names of Stateflow ports and associated signals.

Passed
There are no name mismatches between Stateflow ports and associated signals

  Check scoping of Stateflow data objects

Identify Stateflow data objects with local scope that are not scoped at the chart level or below.

Passed
All Stateflow data objects are properly scoped.

  Check Stateflow charts for uniquely defined data objects

Identify local data identifiers that are defined in multiple scopes within a chart.

Passed
No Stateflow data identifiers found to be defined in multiple scopes.

  Check assignment operations in Stateflow charts

Not Run

  Check Stateflow charts for unary operators

Not Run



                2.26.1.3 MATLAB  0  0  0  0  7  4

  Check usage of standardized MATLAB function headers

Identify usage of standardized function headers in MATLAB function.

Passed
No MATLAB function blocks found without standardized function headers.

  Check for MATLAB Function interfaces with inherited properties

Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity or data type properties.

Passed
No MATLAB Function interfaces with inherited complexity or data type properties found.

  Check MATLAB Function metrics

Identify MATLAB Functions that violate code and complexity metrics.

Passed
No MATLAB Function blocks found that violate code and complexity metrics.

  Check MATLAB Code Analyzer messages

Check MATLAB functions for %#codegen directive, MATLAB Code Analyzer messages, and justification message IDs.

Passed
No MATLAB Function blocks found with Code Analyzer messages, missing %#codegen directive or inappropriate usage of justification message IDs.

  Check if/elseif/else patterns in MATLAB Function blocks

Identify if/elseif/else patterns without appropriate else conditions in embedded MATLAB code.

Passed
No inappropriate if/elseif/else patterns found.

  Check switch statements in MATLAB Function blocks

Identify inappropriately used switch statements in embedded MATLAB code.

Passed
No inappropriately used switch statements found.

  Check usage of relational operators in MATLAB Function blocks

Not Run

  Check usage of logical operators and functions in MATLAB Function blocks

Not Run

  Check type and size of condition expressions

Not Run

  Check MATLAB functions not supported for code generation

Identify MATLAB functions that are not supported for code generation.

Passed
All identified MATLAB functions are supported for code generation.

  Metrics for generated code complexity

Not Run



                2.26.1.4 Configuration  0  0  24  0  8  0

  Check safety-related diagnostic settings for data store memory

Check diagnostic settings in the model configuration that apply to data store memory and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Detect read before write (ReadBeforeWriteMsg) UseLocalSettings EnableAllAsError
Warning Detect write after read (WriteAfterReadMsg) UseLocalSettings EnableAllAsError
Warning Detect write after write (WriteAfterWriteMsg) UseLocalSettings EnableAllAsError
Warning Duplicate data store names (UniqueDataStoreMsg) none error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for saving

Check diagnostic settings in the model configuration that apply to saving model files.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Block diagram contains disabled library links (SaveWithDisabledLinksMsg) warning error
Warning Block diagram contains parameterized library links (SaveWithParameterizedLinksMsg) warning error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related model referencing settings

Check model referencing settings in the model configuration that might impact safety.

Passed
All constraints on model configuration parameters have been met.

Status Parameter Current Value Recommended Values
Pass Rebuild (UpdateModelReferenceTargets) IfOutOfDateOrStructuralChange AssumeUpToDate, IfOutOfDateOrStructuralChange
Pass Pass fixed-size scalar root inputs by value for code generation (ModelReferencePassRootInputsByReference) * on on
Pass Minimize algebraic loop occurrences (ModelReferenceMinAlgLoopOccurrences) off off


Recommended Action


* The Command-Line values provided in the table are reverse of the settings in the Configuration Parameters Dialog. Therefore, 'on' in the Command-Line corresponds to an "Off" setting in the dialog, and 'off' in the Command-Line corresponds to an "On" setting in the dialog.

  Check safety-related code generation settings for comments

Check code generation settings in the model configuration that apply comments and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values Prerequisites
Warning Show eliminated blocks (ShowEliminatedStatement) off on GenerateComments
D - Warning System target file (SystemTargetFile) Non-ERT based target ERT based target  
Warning Verbose comments for 'Model default' storage class (ForceParamTrailComments) off on GenerateComments
Warning ReqsInCode Prerequisite constraint not met. on SystemTargetFile, GenerateComments


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related code generation interface settings

Check code generation interface settings in the model configuration that might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values Prerequisites
Warning Support non-finite numbers (SupportNonFinite) on off  
Warning SupportAbsoluteTime Prerequisite constraint not met. off SystemTargetFile
Warning SupportContinuousTime Prerequisite constraint not met. off SystemTargetFile
D - Warning System target file (SystemTargetFile) Non-ERT based target ERT based target  
Warning SupportNonInlinedSFcns Prerequisite constraint not met. off SystemTargetFile
Warning IncludeMdlTerminateFcn Prerequisite constraint not met. off SystemTargetFile
Warning SuppressErrorStatus Prerequisite constraint not met. on SystemTargetFile
Warning MAT-file logging (MatFileLogging) on off  


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related solver settings for simulation time

Identify if the model Start time is set to 0 and Stop time is less than the Application Life Span.

Passed
No issues found with solver settings for simulation time.

  Check safety-related solver settings for solver options

Check solver settings in the model configuration that apply to solvers and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Type (SolverType) Variable-step Fixed-step
Warning Solver (SolverName) VariableStepAuto FixedStepDiscrete


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related solver settings for tasking and sample-time

Check solver settings in the model configuration that apply to tasking and sample-time constraints and might impact safety.

Passed
All constraints on model configuration parameters have been met.

  Check safety-related diagnostic settings for solvers

Check diagnostic settings in the model configuration that apply to solvers and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Algebraic loop (AlgebraicLoopMsg) warning error
Warning Minimize algebraic loop (ArtificialAlgebraicLoopMsg) warning error
Warning Block priority violation (BlockPriorityViolationMsg) warning error
Warning Automatic solver parameter selection (SolverPrmCheckMsg) none error
Warning State name clash (StateNameClashWarn) none warning


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for sample time

Check diagnostic settings in the model configuration that apply to sample time and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Source block specifies -1 sample time (InheritedTsInSrcMsg) warning error
Warning Enforce sample times specified by Signal Specification blocks (SigSpecEnsureSampleTimeMsg) warning error
Warning Single task data transfer (SingleTaskRateTransMsg) none error
Warning Tasks with equal priority (TasksWithSamePriorityMsg) warning error
Warning Unspecified inheritability of sample time (UnknownTsInhSupMsg) warning error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related optimization settings for logic signals

Check optimization settings in the model configuration that apply to logic signals and might impact safety.

Passed
All constraints on model configuration parameters have been met.

Status Parameter Current Value Recommended Values
Pass Implement logic signals as Boolean data (vs. double) (BooleanDataType) on on

  Check safety-related block reduction optimization settings

Check block reduction optimization settings in the model configuration that might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Block reduction (BlockReduction) on off


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related code generation settings for code style

Check code generation settings in the model configuration that apply to code style and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values Prerequisites
Warning ParenthesesLevel Prerequisite constraint not met. Maximum, Standards SystemTargetFile
Warning PreserveExpressionOrder Prerequisite constraint not met. on SystemTargetFile
D - Warning System target file (SystemTargetFile) Non-ERT based target ERT based target  


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related optimization settings for application lifespan

Check optimization settings in the model configuration that apply to application lifespan and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Application lifespan (days) (LifeSpan) auto inf


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related code generation identifier settings

Check code generation identifier settings in the model configuration that might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values Not Recommended Values Prerequisites
D - Warning System target file (SystemTargetFile) Non-ERT based target ERT based target    
Warning MangleLength Prerequisite constraint not met.   1, 2, 3 SystemTargetFile


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related optimization settings for data initialization

Check optimization settings in the model configuration that apply to data initialization and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values Prerequisites
D - Warning System target file (SystemTargetFile) Non-ERT based target ERT based target  
Warning ZeroExternalMemoryAtStartup* Prerequisite constraint not met. on SystemTargetFile, CodeInterfacePackaging
Warning ZeroInternalMemoryAtStartup* Prerequisite constraint not met. on SystemTargetFile, CodeInterfacePackaging


Recommended Action
Follow the links in the result table to modify the model configuration parameters.


* The Command-Line values provided in the table are reverse of the settings in the Configuration Parameters Dialog. Therefore, 'on' in the Command-Line corresponds to an "Off" setting in the dialog, and 'off' in the Command-Line corresponds to an "On" setting in the dialog.

  Check safety-related optimization settings for data type conversions

Check optimization settings in the model configuration that apply to data type conversions and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Remove code from floating-point to integer conversions that wraps out-of-range values (EfficientFloat2IntCast) off on


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related optimization settings for division arithmetic exceptions

Check optimization settings in the model configuration that apply to division arithmetic exceptions and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values Prerequisites
D - Warning System target file (SystemTargetFile) Non-ERT based target ERT based target  
Warning NoFixptDivByZeroProtection Prerequisite constraint not met. off SystemTargetFile


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related optimization settings for specified minimum and maximum values

Check optimization settings in the model configuration that apply to specified minimum and maximum values and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values Prerequisites
Warning UseSpecifiedMinMax Prerequisite constraint not met. off SystemTargetFile
D - Warning System target file (SystemTargetFile) Non-ERT based target ERT based target  


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related settings for hardware implementation

Check 'Byte ordering' and 'Signed integer division rounds to' parameters
Identify inconsistencies or underspecification of hardware attributes that can lead to incorrect and inefficient generated code.

Passed
Target specification is consistent.

Check whether 'Production hardware' and 'Test hardware' match
Search for 'Test hardware is the same as production hardware' in the Configuration Parameters dialog box and check if it is selected. If it is cleared, identify whether target specifications match.

Passed
'Test hardware is the same as production hardware' is selected or is cleared and the target specifications match.

  Check safety-related diagnostic settings for compatibility

Check diagnostic settings in the model configuration that affect compatibility and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning S-function upgrades needed (SFcnCompatibilityMsg) none error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for parameters

Check diagnostic settings in the model configuration that apply to parameters and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Detect underflow (ParameterUnderflowMsg) none error
Warning Detect precision loss (ParameterPrecisionLossMsg) warning error
Warning Detect loss of tunability (ParameterTunabilityLossMsg) warning error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for Merge blocks

Check diagnostic settings in the model configuration that apply to Merge blocks and might impact safety.

Passed
All constraints on model configuration parameters have been met.

Status Parameter Current Value Recommended Values
Pass Detect multiple driving blocks executing at the same time step (MergeDetectMultiDrivingBlocksExec) error error

  Check safety-related diagnostic settings for model initialization

Check diagnostic settings in the model configuration that affect model initialization and might impact safety.

Passed
All constraints on model configuration parameters have been met.

Status Parameter Current Value Recommended Values
Pass Underspecified initialization detection (UnderspecifiedInitializationDetection) Simplified Simplified

  Check safety-related diagnostic settings for data used for debugging

Check diagnostic settings in the model configuration that apply to data used for debugging and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Model Verification block enabling (AssertControl) UseLocalSettings DisableAll


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for signal connectivity

Check diagnostic settings in the model configuration that apply to signal connectivity and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Signal label mismatch (SignalLabelMismatchMsg) none error
Warning Unconnected block input ports (UnconnectedInputMsg) none error
Warning Unconnected block output ports (UnconnectedOutputMsg) none error
Warning Unconnected line (UnconnectedLineMsg) none error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for bus connectivity

Check diagnostic settings in the model configuration that apply to bus connectivity and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Unspecified bus object at root Outport block (RootOutportRequireBusObject) warning error
Warning Element name mismatch (BusObjectLabelMismatch) warning error
Warning Bus signal treated as vector (StrictBusMsg) ErrorLevel1 ErrorOnBusTreatedAsVector
Warning Non-bus signals treated as bus signals (NonBusSignalsTreatedAsBus) none error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings that apply to function-call connectivity

Check diagnostic settings in the model configuration that apply to function-call connectivity and might impact safety.

Passed
All constraints on model configuration parameters have been met.

Status Parameter Current Value Recommended Values
Pass InvalidFcnCallConnMsg error error
Pass Context-dependent inputs (FcnCallInpInsideContextMsg) error error

  Check safety-related diagnostic settings for type conversions

Check diagnostic settings in the model configuration that apply to type conversions and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Unnecessary type conversions (UnnecessaryDatatypeConvMsg) none warning
Warning Vector/matrix block input conversion (VectorMatrixConversionMsg) none error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for model referencing

Check diagnostic settings in the model configuration that apply to model referencing and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Port and parameter mismatch (ModelReferenceIOMismatchMessage) none error
Warning Invalid root Inport/Outport block connection (ModelReferenceIOMsg) none error
Warning Unsupported data logging (ModelReferenceDataLoggingMessage) warning error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for Stateflow

Check diagnostic settings in the model configuration that apply to Stateflow and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Invalid input data access in chart initialization (SFInvalidInputDataAccessInChartInitDiag) warning error
Warning Transition outside natural parent (SFTransitionOutsideNaturalParentDiag) warning error
Warning Unreachable execution path (SFUnreachableExecutionPathDiag) warning error
Warning Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) warning error
Warning Transition action specified before condition action (SFTransitionActionBeforeConditionDiag) warning error
Warning Absolute time temporal value shorter than sampling period (SFTemporalDelaySmallerThanSampleTimeDiag) warning error
Warning Self-transition on leaf state (SFSelfTransitionDiag) warning error
Warning 'Execute-at-initialization' disabled in presence of input events (SFExecutionAtInitializationDiag) warning error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for signal data

Check diagnostic settings in the model configuration that apply to signal data and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Division by singular matrix (CheckMatrixSingularityMsg) none error
Warning Underspecified data types (UnderSpecifiedDataTypeMsg) none error
Warning Wrap on overflow (IntegerOverflowMsg) warning error
Warning Saturate on overflow (IntegerSaturationMsg) warning error
Warning Inf or NaN block output (SignalInfNanChecking) none error
Warning Simulation range checking (SignalRangeChecking) none error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.



                2.26.1.5 Naming  0  0  0  0  1  1

  Check model file name

Identify inappropriate characters and length issues in model file name.

Passed
No issues found with model file name.

  Check model object names

Not Run



                2.26.1.6 Requirements  0  0  1  0  0  0

  Check for model elements that do not link to requirements

Check for model elements that do not link to a requirements document.

Warning
The following model elements do not link to a requirements document:

Recommended Action
For each model element in the list, in the Model Editor, right-click the model element, select Requirements, and specify a requirement.
Check the Traceability Matrix for viewing requirements and their links to blocks in Simulink model in a compact format.



                2.26.1.7 Code  0  0  1  0  1  0

  Check for blocks not recommended for MISRA C:2012

Passed

  Check configuration parameters for MISRA C:2012

Identify configuration parameters that might impact MISRA C:2012 compliant code generation.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values Prerequisites
Warning Model Verification block enabling (AssertControl) UseLocalSettings DisableAll  
D - Warning Shared code placement (UtilityFuncGeneration) Auto Shared location  
Warning Generate shared constants (GenerateSharedConstants) Prerequisite constraint not met. off UtilityFuncGeneration
D - Warning System target file (SystemTargetFile) Non-ERT based target ERT based target  
Warning SupportContinuousTime Prerequisite constraint not met. off SystemTargetFile
Warning SupportNonInlinedSFcns Prerequisite constraint not met. off SystemTargetFile
Warning MAT-file logging (MatFileLogging) on off  
Warning ParenthesesLevel Prerequisite constraint not met. Standards, Maximum SystemTargetFile
Warning SuppressUnreachableDefaultCases Parameter is inactive! Enable parameter or modify dependent parameter value. off  
Warning CastingMode Prerequisite constraint not met. Standards SystemTargetFile
Warning InternalIdentifier Prerequisite constraint not met. Shortened SystemTargetFile
Warning Use division for fixed-point net slope computation (UseDivisionForNetSlopeComputation) off on, UseDivisionForReciprocalsOfIntegersOnly  
Warning EnableSignedLeftShifts Prerequisite constraint not met. off SystemTargetFile
Warning EnableSignedRightShifts Prerequisite constraint not met. off SystemTargetFile
Warning Inf or NaN block output (SignalInfNanChecking) none warning  
Warning Dynamic memory allocation in MATLAB functions (MATLABDynamicMemAlloc) on off  
Warning Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) warning error  
Warning Compile-time recursion limit for MATLAB functions (CompileTimeRecursionLimit) 50 0  
Warning Enable run-time recursion for MATLAB functions (EnableRuntimeRecursion) on off  
Warning MATLABFcnDesc Prerequisite constraint not met. on GenerateComments, SystemTargetFile
Warning Leverage target hardware instruction set extensions (InstructionSetExtensions) SSE2 None  
∧ Less


Recommended Action
Modify the configuration parameters listed above to the recommended values.



        2.27 Modeling Standards for ISO 26262  0  0  29  0  35  36

  Display configuration management data

Not Run

  Display model metrics and complexity report


Simulink

Block Type Count
SimscapeBlock 2

Model complexity information
Display name, level, and depth of subsystems

No subsystems found.

  Check for unconnected objects

Identify unconnected lines, input ports, and output ports in the model

Warning
The following lines, input ports, or output ports are not properly connected in system: untitled

Recommended Action
Connect the blocks specified in the list



            2.27.1 High-Integrity Systems  0  0  28  0  34  35


                2.27.1.1 Simulink  0  0  1  0  10  26

  Check usage of Abs blocks

Not Run

  Check usage of remainder and reciprocal operations

Not Run

  Check usage of square root operations

Not Run

  Check usage of log and log10 operations

Not Run

  Check usage of While Iterator blocks

Identify While Iterator blocks that do not have a positive value for the maximum number of iterations.

Passed
No While Iterator blocks found that might cause infinite loops

  Check usage of For and While Iterator subsystems

Identify sample time-dependent blocks in While and For Iterator subsystems.

Passed
No sample time-dependent blocks in For or While Iterator subsystems.

  Check usage of For Iterator blocks

Not Run

  Check usage of If blocks and If Action Subsystem blocks

Not Run

  Check usage of Switch Case blocks and Switch Case Action Subsystem blocks

Not Run

  Check usage of conditionally executed subsystems

Not Run

  Check usage of Merge blocks

Not Run

  Check relational comparisons on floating-point signals

Not Run

  Check usage of Relational Operator blocks

Not Run

  Check usage of Logical Operator blocks

Not Run

  Check usage of bitwise operations

Not Run

  Check for blocks not recommended for C/C++ production code deployment

Identify blocks not supported by code generation or not recommended for C/C++ production code deployment.

Passed
No blocks found which are not recommended for C/C++ production code deployment.

  Check for inconsistent vector indexing methods

Identify inconsistent usage of vector indexing methods across the model or subsystem.

Passed
No blocks found using inconsistent indexing modes.

  Check data types for blocks with index signals

Not Run

  Check usage of variant blocks

Check variant block settings that might result in code that doesn't trace back to requirements.

Passed
No variant blocks have "VariantActivationTime" set to 'code compile'.

  Check usage of lookup table blocks

Check for Lookup Table blocks, Prelookup blocks and Interpolation blocks that do not generate out-of-range checking code.

Passed
No lookup table blocks found to not generate out-of-range checking code.

  Check usage of Signal Routing blocks

Not Run

  Check for root Input ports with missing properties

Not Run

  Check for root Input ports with missing range definitions

Not Run

  Check for root Output ports with missing range definitions

Not Run

  Check usage of Reciprocal Sqrt blocks

Not Run

  Check usage of Assignment blocks

Not Run

  Check global variables in graphical functions

Identify expressions that both read and write to the same global data.

Passed
No expressions found that both read and write to the same global data.

  Check usage of Gain blocks

Identify Gain blocks with value which resolves to 1.

Passed
No Gain blocks found with value which resolves to 1.

  Check for length of user-defined object names

Not Run

  Check data type of loop control variables

Not Run

  Check for divide-by-zero calculations

Not Run

  Check for parameter tunability ignored for referenced models

Check for models parameter tunability information specified using Model Parameter Configuration dialog boxes.

Passed
No parameters found that lose the tunability defined in the referenced models.

  Check usage of bit-shift operations

Not Run

  Check safety-related diagnostic settings for variants

Check diagnostic settings in the model configuration that apply to variants and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Variant condition mismatch at signal source and destination (VariantConditionMismatch) none error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check for disabled and parameterized library links

Identify disabled and parameterized library links in the model.

Passed
No blocks found that have disabled or parameterized library links.

  Check for root Outports with missing properties

Not Run

  Check for unreachable and dead code

Not Run



                2.27.1.2 Stateflow  0  0  1  0  7  4

  Check state machine type of Stateflow charts

Identify Stateflow Charts whose State Machine Type differs from the type set in the Model Advisor Configuration Editor.

Passed
No Stateflow Charts found that deviate from recommended state machine type.

  Check Stateflow charts for ordering of states and transitions

Identify Stateflow charts that do not use explicit ordering of parallel states and transitions.

Passed
No Stateflow Charts found that deviate from recommended state/transition execution order settings.

  Check usage of recursions

Not Run

  Check Stateflow debugging options

Identify whether Stateflow debugging options are set appropriately.

Warning
The following Stateflow debugging options are not set appropriately:

Parameter Current Value Recommended Values
Wrap on overflow (IntegerOverflowMsg) warning error
Simulation range checking (SignalRangeChecking) none error


Recommended Action
Change the Stateflow debugging options to the recommended value.

  Check Stateflow charts for transition paths that cross parallel state boundaries

Identify transition paths that cross parallel state boundaries in Stateflow charts.

Passed
No transition paths crossing parallel state boundaries were found in Stateflow charts.

  Check for inappropriate use of transition paths

Identify transition paths that go into and out of a state without ending on a substate.

Passed
No transition paths found that go into and out of a state without ending on a substate.

  Check Stateflow charts for strong data typing

Not Run

  Check naming of ports in Stateflow charts

Identify mismatches between names of Stateflow ports and associated signals.

Passed
There are no name mismatches between Stateflow ports and associated signals

  Check scoping of Stateflow data objects

Identify Stateflow data objects with local scope that are not scoped at the chart level or below.

Passed
All Stateflow data objects are properly scoped.

  Check Stateflow charts for uniquely defined data objects

Identify local data identifiers that are defined in multiple scopes within a chart.

Passed
No Stateflow data identifiers found to be defined in multiple scopes.

  Check assignment operations in Stateflow charts

Not Run

  Check Stateflow charts for unary operators

Not Run



                2.27.1.3 MATLAB  0  0  0  0  7  4

  Check usage of standardized MATLAB function headers

Identify usage of standardized function headers in MATLAB function.

Passed
No MATLAB function blocks found without standardized function headers.

  Check for MATLAB Function interfaces with inherited properties

Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity or data type properties.

Passed
No MATLAB Function interfaces with inherited complexity or data type properties found.

  Check MATLAB Function metrics

Identify MATLAB Functions that violate code and complexity metrics.

Passed
No MATLAB Function blocks found that violate code and complexity metrics.

  Check MATLAB Code Analyzer messages

Check MATLAB functions for %#codegen directive, MATLAB Code Analyzer messages, and justification message IDs.

Passed
No MATLAB Function blocks found with Code Analyzer messages, missing %#codegen directive or inappropriate usage of justification message IDs.

  Check if/elseif/else patterns in MATLAB Function blocks

Identify if/elseif/else patterns without appropriate else conditions in embedded MATLAB code.

Passed
No inappropriate if/elseif/else patterns found.

  Check switch statements in MATLAB Function blocks

Identify inappropriately used switch statements in embedded MATLAB code.

Passed
No inappropriately used switch statements found.

  Check usage of relational operators in MATLAB Function blocks

Not Run

  Check usage of logical operators and functions in MATLAB Function blocks

Not Run

  Check type and size of condition expressions

Not Run

  Check MATLAB functions not supported for code generation

Identify MATLAB functions that are not supported for code generation.

Passed
All identified MATLAB functions are supported for code generation.

  Metrics for generated code complexity

Not Run



                2.27.1.4 Configuration  0  0  24  0  8  0

  Check safety-related diagnostic settings for data store memory

Check diagnostic settings in the model configuration that apply to data store memory and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Detect read before write (ReadBeforeWriteMsg) UseLocalSettings EnableAllAsError
Warning Detect write after read (WriteAfterReadMsg) UseLocalSettings EnableAllAsError
Warning Detect write after write (WriteAfterWriteMsg) UseLocalSettings EnableAllAsError
Warning Duplicate data store names (UniqueDataStoreMsg) none error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for saving

Check diagnostic settings in the model configuration that apply to saving model files.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Block diagram contains disabled library links (SaveWithDisabledLinksMsg) warning error
Warning Block diagram contains parameterized library links (SaveWithParameterizedLinksMsg) warning error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related model referencing settings

Check model referencing settings in the model configuration that might impact safety.

Passed
All constraints on model configuration parameters have been met.

Status Parameter Current Value Recommended Values
Pass Rebuild (UpdateModelReferenceTargets) IfOutOfDateOrStructuralChange AssumeUpToDate, IfOutOfDateOrStructuralChange
Pass Pass fixed-size scalar root inputs by value for code generation (ModelReferencePassRootInputsByReference) * on on
Pass Minimize algebraic loop occurrences (ModelReferenceMinAlgLoopOccurrences) off off


Recommended Action


* The Command-Line values provided in the table are reverse of the settings in the Configuration Parameters Dialog. Therefore, 'on' in the Command-Line corresponds to an "Off" setting in the dialog, and 'off' in the Command-Line corresponds to an "On" setting in the dialog.

  Check safety-related code generation settings for comments

Check code generation settings in the model configuration that apply comments and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values Prerequisites
Warning Show eliminated blocks (ShowEliminatedStatement) off on GenerateComments
D - Warning System target file (SystemTargetFile) Non-ERT based target ERT based target  
Warning Verbose comments for 'Model default' storage class (ForceParamTrailComments) off on GenerateComments
Warning ReqsInCode Prerequisite constraint not met. on SystemTargetFile, GenerateComments


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related code generation interface settings

Check code generation interface settings in the model configuration that might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values Prerequisites
Warning Support non-finite numbers (SupportNonFinite) on off  
Warning SupportAbsoluteTime Prerequisite constraint not met. off SystemTargetFile
Warning SupportContinuousTime Prerequisite constraint not met. off SystemTargetFile
D - Warning System target file (SystemTargetFile) Non-ERT based target ERT based target  
Warning SupportNonInlinedSFcns Prerequisite constraint not met. off SystemTargetFile
Warning IncludeMdlTerminateFcn Prerequisite constraint not met. off SystemTargetFile
Warning SuppressErrorStatus Prerequisite constraint not met. on SystemTargetFile
Warning MAT-file logging (MatFileLogging) on off  


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related solver settings for simulation time

Identify if the model Start time is set to 0 and Stop time is less than the Application Life Span.

Passed
No issues found with solver settings for simulation time.

  Check safety-related solver settings for solver options

Check solver settings in the model configuration that apply to solvers and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Type (SolverType) Variable-step Fixed-step
Warning Solver (SolverName) VariableStepAuto FixedStepDiscrete


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related solver settings for tasking and sample-time

Check solver settings in the model configuration that apply to tasking and sample-time constraints and might impact safety.

Passed
All constraints on model configuration parameters have been met.

  Check safety-related diagnostic settings for solvers

Check diagnostic settings in the model configuration that apply to solvers and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Algebraic loop (AlgebraicLoopMsg) warning error
Warning Minimize algebraic loop (ArtificialAlgebraicLoopMsg) warning error
Warning Block priority violation (BlockPriorityViolationMsg) warning error
Warning Automatic solver parameter selection (SolverPrmCheckMsg) none error
Warning State name clash (StateNameClashWarn) none warning


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for sample time

Check diagnostic settings in the model configuration that apply to sample time and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Source block specifies -1 sample time (InheritedTsInSrcMsg) warning error
Warning Enforce sample times specified by Signal Specification blocks (SigSpecEnsureSampleTimeMsg) warning error
Warning Single task data transfer (SingleTaskRateTransMsg) none error
Warning Tasks with equal priority (TasksWithSamePriorityMsg) warning error
Warning Unspecified inheritability of sample time (UnknownTsInhSupMsg) warning error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related optimization settings for logic signals

Check optimization settings in the model configuration that apply to logic signals and might impact safety.

Passed
All constraints on model configuration parameters have been met.

Status Parameter Current Value Recommended Values
Pass Implement logic signals as Boolean data (vs. double) (BooleanDataType) on on

  Check safety-related block reduction optimization settings

Check block reduction optimization settings in the model configuration that might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Block reduction (BlockReduction) on off


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related code generation settings for code style

Check code generation settings in the model configuration that apply to code style and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values Prerequisites
Warning ParenthesesLevel Prerequisite constraint not met. Maximum, Standards SystemTargetFile
Warning PreserveExpressionOrder Prerequisite constraint not met. on SystemTargetFile
D - Warning System target file (SystemTargetFile) Non-ERT based target ERT based target  


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related optimization settings for application lifespan

Check optimization settings in the model configuration that apply to application lifespan and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Application lifespan (days) (LifeSpan) auto inf


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related code generation identifier settings

Check code generation identifier settings in the model configuration that might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values Not Recommended Values Prerequisites
D - Warning System target file (SystemTargetFile) Non-ERT based target ERT based target    
Warning MangleLength Prerequisite constraint not met.   1, 2, 3 SystemTargetFile


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related optimization settings for data initialization

Check optimization settings in the model configuration that apply to data initialization and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values Prerequisites
D - Warning System target file (SystemTargetFile) Non-ERT based target ERT based target  
Warning ZeroExternalMemoryAtStartup* Prerequisite constraint not met. on SystemTargetFile, CodeInterfacePackaging
Warning ZeroInternalMemoryAtStartup* Prerequisite constraint not met. on SystemTargetFile, CodeInterfacePackaging


Recommended Action
Follow the links in the result table to modify the model configuration parameters.


* The Command-Line values provided in the table are reverse of the settings in the Configuration Parameters Dialog. Therefore, 'on' in the Command-Line corresponds to an "Off" setting in the dialog, and 'off' in the Command-Line corresponds to an "On" setting in the dialog.

  Check safety-related optimization settings for data type conversions

Check optimization settings in the model configuration that apply to data type conversions and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Remove code from floating-point to integer conversions that wraps out-of-range values (EfficientFloat2IntCast) off on


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related optimization settings for division arithmetic exceptions

Check optimization settings in the model configuration that apply to division arithmetic exceptions and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values Prerequisites
D - Warning System target file (SystemTargetFile) Non-ERT based target ERT based target  
Warning NoFixptDivByZeroProtection Prerequisite constraint not met. off SystemTargetFile


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related optimization settings for specified minimum and maximum values

Check optimization settings in the model configuration that apply to specified minimum and maximum values and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values Prerequisites
Warning UseSpecifiedMinMax Prerequisite constraint not met. off SystemTargetFile
D - Warning System target file (SystemTargetFile) Non-ERT based target ERT based target  


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related settings for hardware implementation

Check 'Byte ordering' and 'Signed integer division rounds to' parameters
Identify inconsistencies or underspecification of hardware attributes that can lead to incorrect and inefficient generated code.

Passed
Target specification is consistent.

Check whether 'Production hardware' and 'Test hardware' match
Search for 'Test hardware is the same as production hardware' in the Configuration Parameters dialog box and check if it is selected. If it is cleared, identify whether target specifications match.

Passed
'Test hardware is the same as production hardware' is selected or is cleared and the target specifications match.

  Check safety-related diagnostic settings for compatibility

Check diagnostic settings in the model configuration that affect compatibility and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning S-function upgrades needed (SFcnCompatibilityMsg) none error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for parameters

Check diagnostic settings in the model configuration that apply to parameters and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Detect underflow (ParameterUnderflowMsg) none error
Warning Detect precision loss (ParameterPrecisionLossMsg) warning error
Warning Detect loss of tunability (ParameterTunabilityLossMsg) warning error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for Merge blocks

Check diagnostic settings in the model configuration that apply to Merge blocks and might impact safety.

Passed
All constraints on model configuration parameters have been met.

Status Parameter Current Value Recommended Values
Pass Detect multiple driving blocks executing at the same time step (MergeDetectMultiDrivingBlocksExec) error error

  Check safety-related diagnostic settings for model initialization

Check diagnostic settings in the model configuration that affect model initialization and might impact safety.

Passed
All constraints on model configuration parameters have been met.

Status Parameter Current Value Recommended Values
Pass Underspecified initialization detection (UnderspecifiedInitializationDetection) Simplified Simplified

  Check safety-related diagnostic settings for data used for debugging

Check diagnostic settings in the model configuration that apply to data used for debugging and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Model Verification block enabling (AssertControl) UseLocalSettings DisableAll


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for signal connectivity

Check diagnostic settings in the model configuration that apply to signal connectivity and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Signal label mismatch (SignalLabelMismatchMsg) none error
Warning Unconnected block input ports (UnconnectedInputMsg) none error
Warning Unconnected block output ports (UnconnectedOutputMsg) none error
Warning Unconnected line (UnconnectedLineMsg) none error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for bus connectivity

Check diagnostic settings in the model configuration that apply to bus connectivity and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Unspecified bus object at root Outport block (RootOutportRequireBusObject) warning error
Warning Element name mismatch (BusObjectLabelMismatch) warning error
Warning Bus signal treated as vector (StrictBusMsg) ErrorLevel1 ErrorOnBusTreatedAsVector
Warning Non-bus signals treated as bus signals (NonBusSignalsTreatedAsBus) none error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings that apply to function-call connectivity

Check diagnostic settings in the model configuration that apply to function-call connectivity and might impact safety.

Passed
All constraints on model configuration parameters have been met.

Status Parameter Current Value Recommended Values
Pass InvalidFcnCallConnMsg error error
Pass Context-dependent inputs (FcnCallInpInsideContextMsg) error error

  Check safety-related diagnostic settings for type conversions

Check diagnostic settings in the model configuration that apply to type conversions and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Unnecessary type conversions (UnnecessaryDatatypeConvMsg) none warning
Warning Vector/matrix block input conversion (VectorMatrixConversionMsg) none error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for model referencing

Check diagnostic settings in the model configuration that apply to model referencing and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Port and parameter mismatch (ModelReferenceIOMismatchMessage) none error
Warning Invalid root Inport/Outport block connection (ModelReferenceIOMsg) none error
Warning Unsupported data logging (ModelReferenceDataLoggingMessage) warning error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for Stateflow

Check diagnostic settings in the model configuration that apply to Stateflow and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Invalid input data access in chart initialization (SFInvalidInputDataAccessInChartInitDiag) warning error
Warning Transition outside natural parent (SFTransitionOutsideNaturalParentDiag) warning error
Warning Unreachable execution path (SFUnreachableExecutionPathDiag) warning error
Warning Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) warning error
Warning Transition action specified before condition action (SFTransitionActionBeforeConditionDiag) warning error
Warning Absolute time temporal value shorter than sampling period (SFTemporalDelaySmallerThanSampleTimeDiag) warning error
Warning Self-transition on leaf state (SFSelfTransitionDiag) warning error
Warning 'Execute-at-initialization' disabled in presence of input events (SFExecutionAtInitializationDiag) warning error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for signal data

Check diagnostic settings in the model configuration that apply to signal data and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Division by singular matrix (CheckMatrixSingularityMsg) none error
Warning Underspecified data types (UnderSpecifiedDataTypeMsg) none error
Warning Wrap on overflow (IntegerOverflowMsg) warning error
Warning Saturate on overflow (IntegerSaturationMsg) warning error
Warning Inf or NaN block output (SignalInfNanChecking) none error
Warning Simulation range checking (SignalRangeChecking) none error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.



                2.27.1.5 Naming  0  0  0  0  1  1

  Check model file name

Identify inappropriate characters and length issues in model file name.

Passed
No issues found with model file name.

  Check model object names

Not Run



                2.27.1.6 Requirements  0  0  1  0  0  0

  Check for model elements that do not link to requirements

Check for model elements that do not link to a requirements document.

Warning
The following model elements do not link to a requirements document:

Recommended Action
For each model element in the list, in the Model Editor, right-click the model element, select Requirements, and specify a requirement.
Check the Traceability Matrix for viewing requirements and their links to blocks in Simulink model in a compact format.



                2.27.1.7 Code  0  0  1  0  1  0

  Check for blocks not recommended for MISRA C:2012

Passed

  Check configuration parameters for MISRA C:2012

Identify configuration parameters that might impact MISRA C:2012 compliant code generation.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values Prerequisites
Warning Model Verification block enabling (AssertControl) UseLocalSettings DisableAll  
D - Warning Shared code placement (UtilityFuncGeneration) Auto Shared location  
Warning Generate shared constants (GenerateSharedConstants) Prerequisite constraint not met. off UtilityFuncGeneration
D - Warning System target file (SystemTargetFile) Non-ERT based target ERT based target  
Warning SupportContinuousTime Prerequisite constraint not met. off SystemTargetFile
Warning SupportNonInlinedSFcns Prerequisite constraint not met. off SystemTargetFile
Warning MAT-file logging (MatFileLogging) on off  
Warning ParenthesesLevel Prerequisite constraint not met. Standards, Maximum SystemTargetFile
Warning SuppressUnreachableDefaultCases Parameter is inactive! Enable parameter or modify dependent parameter value. off  
Warning CastingMode Prerequisite constraint not met. Standards SystemTargetFile
Warning InternalIdentifier Prerequisite constraint not met. Shortened SystemTargetFile
Warning Use division for fixed-point net slope computation (UseDivisionForNetSlopeComputation) off on, UseDivisionForReciprocalsOfIntegersOnly  
Warning EnableSignedLeftShifts Prerequisite constraint not met. off SystemTargetFile
Warning EnableSignedRightShifts Prerequisite constraint not met. off SystemTargetFile
Warning Inf or NaN block output (SignalInfNanChecking) none warning  
Warning Dynamic memory allocation in MATLAB functions (MATLABDynamicMemAlloc) on off  
Warning Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) warning error  
Warning Compile-time recursion limit for MATLAB functions (CompileTimeRecursionLimit) 50 0  
Warning Enable run-time recursion for MATLAB functions (EnableRuntimeRecursion) on off  
Warning MATLABFcnDesc Prerequisite constraint not met. on GenerateComments, SystemTargetFile
Warning Leverage target hardware instruction set extensions (InstructionSetExtensions) SSE2 None  
∧ Less


Recommended Action
Modify the configuration parameters listed above to the recommended values.



        2.28 Modeling Standards for ISO 25119  0  0  29  0  35  36

  Display configuration management data

Not Run

  Display model metrics and complexity report


Simulink

Block Type Count
SimscapeBlock 2

Model complexity information
Display name, level, and depth of subsystems

No subsystems found.

  Check for unconnected objects

Identify unconnected lines, input ports, and output ports in the model

Warning
The following lines, input ports, or output ports are not properly connected in system: untitled

Recommended Action
Connect the blocks specified in the list



            2.28.1 High-Integrity Systems  0  0  28  0  34  35


                2.28.1.1 Simulink  0  0  1  0  10  26

  Check usage of Abs blocks

Not Run

  Check usage of remainder and reciprocal operations

Not Run

  Check usage of square root operations

Not Run

  Check usage of log and log10 operations

Not Run

  Check usage of While Iterator blocks

Identify While Iterator blocks that do not have a positive value for the maximum number of iterations.

Passed
No While Iterator blocks found that might cause infinite loops

  Check usage of For and While Iterator subsystems

Identify sample time-dependent blocks in While and For Iterator subsystems.

Passed
No sample time-dependent blocks in For or While Iterator subsystems.

  Check usage of For Iterator blocks

Not Run

  Check usage of If blocks and If Action Subsystem blocks

Not Run

  Check usage of Switch Case blocks and Switch Case Action Subsystem blocks

Not Run

  Check usage of conditionally executed subsystems

Not Run

  Check usage of Merge blocks

Not Run

  Check relational comparisons on floating-point signals

Not Run

  Check usage of Relational Operator blocks

Not Run

  Check usage of Logical Operator blocks

Not Run

  Check usage of bitwise operations

Not Run

  Check for blocks not recommended for C/C++ production code deployment

Identify blocks not supported by code generation or not recommended for C/C++ production code deployment.

Passed
No blocks found which are not recommended for C/C++ production code deployment.

  Check for inconsistent vector indexing methods

Identify inconsistent usage of vector indexing methods across the model or subsystem.

Passed
No blocks found using inconsistent indexing modes.

  Check data types for blocks with index signals

Not Run

  Check usage of variant blocks

Check variant block settings that might result in code that doesn't trace back to requirements.

Passed
No variant blocks have "VariantActivationTime" set to 'code compile'.

  Check usage of lookup table blocks

Check for Lookup Table blocks, Prelookup blocks and Interpolation blocks that do not generate out-of-range checking code.

Passed
No lookup table blocks found to not generate out-of-range checking code.

  Check usage of Signal Routing blocks

Not Run

  Check for root Input ports with missing properties

Not Run

  Check for root Input ports with missing range definitions

Not Run

  Check for root Output ports with missing range definitions

Not Run

  Check usage of Reciprocal Sqrt blocks

Not Run

  Check usage of Assignment blocks

Not Run

  Check global variables in graphical functions

Identify expressions that both read and write to the same global data.

Passed
No expressions found that both read and write to the same global data.

  Check usage of Gain blocks

Identify Gain blocks with value which resolves to 1.

Passed
No Gain blocks found with value which resolves to 1.

  Check for length of user-defined object names

Not Run

  Check data type of loop control variables

Not Run

  Check for divide-by-zero calculations

Not Run

  Check for parameter tunability ignored for referenced models

Check for models parameter tunability information specified using Model Parameter Configuration dialog boxes.

Passed
No parameters found that lose the tunability defined in the referenced models.

  Check usage of bit-shift operations

Not Run

  Check safety-related diagnostic settings for variants

Check diagnostic settings in the model configuration that apply to variants and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Variant condition mismatch at signal source and destination (VariantConditionMismatch) none error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check for disabled and parameterized library links

Identify disabled and parameterized library links in the model.

Passed
No blocks found that have disabled or parameterized library links.

  Check for root Outports with missing properties

Not Run

  Check for unreachable and dead code

Not Run



                2.28.1.2 Stateflow  0  0  1  0  7  4

  Check state machine type of Stateflow charts

Identify Stateflow Charts whose State Machine Type differs from the type set in the Model Advisor Configuration Editor.

Passed
No Stateflow Charts found that deviate from recommended state machine type.

  Check Stateflow charts for ordering of states and transitions

Identify Stateflow charts that do not use explicit ordering of parallel states and transitions.

Passed
No Stateflow Charts found that deviate from recommended state/transition execution order settings.

  Check usage of recursions

Not Run

  Check Stateflow debugging options

Identify whether Stateflow debugging options are set appropriately.

Warning
The following Stateflow debugging options are not set appropriately:

Parameter Current Value Recommended Values
Wrap on overflow (IntegerOverflowMsg) warning error
Simulation range checking (SignalRangeChecking) none error


Recommended Action
Change the Stateflow debugging options to the recommended value.

  Check Stateflow charts for transition paths that cross parallel state boundaries

Identify transition paths that cross parallel state boundaries in Stateflow charts.

Passed
No transition paths crossing parallel state boundaries were found in Stateflow charts.

  Check for inappropriate use of transition paths

Identify transition paths that go into and out of a state without ending on a substate.

Passed
No transition paths found that go into and out of a state without ending on a substate.

  Check Stateflow charts for strong data typing

Not Run

  Check naming of ports in Stateflow charts

Identify mismatches between names of Stateflow ports and associated signals.

Passed
There are no name mismatches between Stateflow ports and associated signals

  Check scoping of Stateflow data objects

Identify Stateflow data objects with local scope that are not scoped at the chart level or below.

Passed
All Stateflow data objects are properly scoped.

  Check Stateflow charts for uniquely defined data objects

Identify local data identifiers that are defined in multiple scopes within a chart.

Passed
No Stateflow data identifiers found to be defined in multiple scopes.

  Check assignment operations in Stateflow charts

Not Run

  Check Stateflow charts for unary operators

Not Run



                2.28.1.3 MATLAB  0  0  0  0  7  4

  Check usage of standardized MATLAB function headers

Identify usage of standardized function headers in MATLAB function.

Passed
No MATLAB function blocks found without standardized function headers.

  Check for MATLAB Function interfaces with inherited properties

Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity or data type properties.

Passed
No MATLAB Function interfaces with inherited complexity or data type properties found.

  Check MATLAB Function metrics

Identify MATLAB Functions that violate code and complexity metrics.

Passed
No MATLAB Function blocks found that violate code and complexity metrics.

  Check MATLAB Code Analyzer messages

Check MATLAB functions for %#codegen directive, MATLAB Code Analyzer messages, and justification message IDs.

Passed
No MATLAB Function blocks found with Code Analyzer messages, missing %#codegen directive or inappropriate usage of justification message IDs.

  Check if/elseif/else patterns in MATLAB Function blocks

Identify if/elseif/else patterns without appropriate else conditions in embedded MATLAB code.

Passed
No inappropriate if/elseif/else patterns found.

  Check switch statements in MATLAB Function blocks

Identify inappropriately used switch statements in embedded MATLAB code.

Passed
No inappropriately used switch statements found.

  Check usage of relational operators in MATLAB Function blocks

Not Run

  Check usage of logical operators and functions in MATLAB Function blocks

Not Run

  Check type and size of condition expressions

Not Run

  Check MATLAB functions not supported for code generation

Identify MATLAB functions that are not supported for code generation.

Passed
All identified MATLAB functions are supported for code generation.

  Metrics for generated code complexity

Not Run



                2.28.1.4 Configuration  0  0  24  0  8  0

  Check safety-related diagnostic settings for data store memory

Check diagnostic settings in the model configuration that apply to data store memory and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Detect read before write (ReadBeforeWriteMsg) UseLocalSettings EnableAllAsError
Warning Detect write after read (WriteAfterReadMsg) UseLocalSettings EnableAllAsError
Warning Detect write after write (WriteAfterWriteMsg) UseLocalSettings EnableAllAsError
Warning Duplicate data store names (UniqueDataStoreMsg) none error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for saving

Check diagnostic settings in the model configuration that apply to saving model files.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Block diagram contains disabled library links (SaveWithDisabledLinksMsg) warning error
Warning Block diagram contains parameterized library links (SaveWithParameterizedLinksMsg) warning error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related model referencing settings

Check model referencing settings in the model configuration that might impact safety.

Passed
All constraints on model configuration parameters have been met.

Status Parameter Current Value Recommended Values
Pass Rebuild (UpdateModelReferenceTargets) IfOutOfDateOrStructuralChange AssumeUpToDate, IfOutOfDateOrStructuralChange
Pass Pass fixed-size scalar root inputs by value for code generation (ModelReferencePassRootInputsByReference) * on on
Pass Minimize algebraic loop occurrences (ModelReferenceMinAlgLoopOccurrences) off off


Recommended Action


* The Command-Line values provided in the table are reverse of the settings in the Configuration Parameters Dialog. Therefore, 'on' in the Command-Line corresponds to an "Off" setting in the dialog, and 'off' in the Command-Line corresponds to an "On" setting in the dialog.

  Check safety-related code generation settings for comments

Check code generation settings in the model configuration that apply comments and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values Prerequisites
Warning Show eliminated blocks (ShowEliminatedStatement) off on GenerateComments
D - Warning System target file (SystemTargetFile) Non-ERT based target ERT based target  
Warning Verbose comments for 'Model default' storage class (ForceParamTrailComments) off on GenerateComments
Warning ReqsInCode Prerequisite constraint not met. on SystemTargetFile, GenerateComments


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related code generation interface settings

Check code generation interface settings in the model configuration that might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values Prerequisites
Warning Support non-finite numbers (SupportNonFinite) on off  
Warning SupportAbsoluteTime Prerequisite constraint not met. off SystemTargetFile
Warning SupportContinuousTime Prerequisite constraint not met. off SystemTargetFile
D - Warning System target file (SystemTargetFile) Non-ERT based target ERT based target  
Warning SupportNonInlinedSFcns Prerequisite constraint not met. off SystemTargetFile
Warning IncludeMdlTerminateFcn Prerequisite constraint not met. off SystemTargetFile
Warning SuppressErrorStatus Prerequisite constraint not met. on SystemTargetFile
Warning MAT-file logging (MatFileLogging) on off  


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related solver settings for simulation time

Identify if the model Start time is set to 0 and Stop time is less than the Application Life Span.

Passed
No issues found with solver settings for simulation time.

  Check safety-related solver settings for solver options

Check solver settings in the model configuration that apply to solvers and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Type (SolverType) Variable-step Fixed-step
Warning Solver (SolverName) VariableStepAuto FixedStepDiscrete


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related solver settings for tasking and sample-time

Check solver settings in the model configuration that apply to tasking and sample-time constraints and might impact safety.

Passed
All constraints on model configuration parameters have been met.

  Check safety-related diagnostic settings for solvers

Check diagnostic settings in the model configuration that apply to solvers and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Algebraic loop (AlgebraicLoopMsg) warning error
Warning Minimize algebraic loop (ArtificialAlgebraicLoopMsg) warning error
Warning Block priority violation (BlockPriorityViolationMsg) warning error
Warning Automatic solver parameter selection (SolverPrmCheckMsg) none error
Warning State name clash (StateNameClashWarn) none warning


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for sample time

Check diagnostic settings in the model configuration that apply to sample time and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Source block specifies -1 sample time (InheritedTsInSrcMsg) warning error
Warning Enforce sample times specified by Signal Specification blocks (SigSpecEnsureSampleTimeMsg) warning error
Warning Single task data transfer (SingleTaskRateTransMsg) none error
Warning Tasks with equal priority (TasksWithSamePriorityMsg) warning error
Warning Unspecified inheritability of sample time (UnknownTsInhSupMsg) warning error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related optimization settings for logic signals

Check optimization settings in the model configuration that apply to logic signals and might impact safety.

Passed
All constraints on model configuration parameters have been met.

Status Parameter Current Value Recommended Values
Pass Implement logic signals as Boolean data (vs. double) (BooleanDataType) on on

  Check safety-related block reduction optimization settings

Check block reduction optimization settings in the model configuration that might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Block reduction (BlockReduction) on off


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related code generation settings for code style

Check code generation settings in the model configuration that apply to code style and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values Prerequisites
Warning ParenthesesLevel Prerequisite constraint not met. Maximum, Standards SystemTargetFile
Warning PreserveExpressionOrder Prerequisite constraint not met. on SystemTargetFile
D - Warning System target file (SystemTargetFile) Non-ERT based target ERT based target  


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related optimization settings for application lifespan

Check optimization settings in the model configuration that apply to application lifespan and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Application lifespan (days) (LifeSpan) auto inf


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related code generation identifier settings

Check code generation identifier settings in the model configuration that might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values Not Recommended Values Prerequisites
D - Warning System target file (SystemTargetFile) Non-ERT based target ERT based target    
Warning MangleLength Prerequisite constraint not met.   1, 2, 3 SystemTargetFile


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related optimization settings for data initialization

Check optimization settings in the model configuration that apply to data initialization and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values Prerequisites
D - Warning System target file (SystemTargetFile) Non-ERT based target ERT based target  
Warning ZeroExternalMemoryAtStartup* Prerequisite constraint not met. on SystemTargetFile, CodeInterfacePackaging
Warning ZeroInternalMemoryAtStartup* Prerequisite constraint not met. on SystemTargetFile, CodeInterfacePackaging


Recommended Action
Follow the links in the result table to modify the model configuration parameters.


* The Command-Line values provided in the table are reverse of the settings in the Configuration Parameters Dialog. Therefore, 'on' in the Command-Line corresponds to an "Off" setting in the dialog, and 'off' in the Command-Line corresponds to an "On" setting in the dialog.

  Check safety-related optimization settings for data type conversions

Check optimization settings in the model configuration that apply to data type conversions and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Remove code from floating-point to integer conversions that wraps out-of-range values (EfficientFloat2IntCast) off on


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related optimization settings for division arithmetic exceptions

Check optimization settings in the model configuration that apply to division arithmetic exceptions and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values Prerequisites
D - Warning System target file (SystemTargetFile) Non-ERT based target ERT based target  
Warning NoFixptDivByZeroProtection Prerequisite constraint not met. off SystemTargetFile


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related optimization settings for specified minimum and maximum values

Check optimization settings in the model configuration that apply to specified minimum and maximum values and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values Prerequisites
Warning UseSpecifiedMinMax Prerequisite constraint not met. off SystemTargetFile
D - Warning System target file (SystemTargetFile) Non-ERT based target ERT based target  


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related settings for hardware implementation

Check 'Byte ordering' and 'Signed integer division rounds to' parameters
Identify inconsistencies or underspecification of hardware attributes that can lead to incorrect and inefficient generated code.

Passed
Target specification is consistent.

Check whether 'Production hardware' and 'Test hardware' match
Search for 'Test hardware is the same as production hardware' in the Configuration Parameters dialog box and check if it is selected. If it is cleared, identify whether target specifications match.

Passed
'Test hardware is the same as production hardware' is selected or is cleared and the target specifications match.

  Check safety-related diagnostic settings for compatibility

Check diagnostic settings in the model configuration that affect compatibility and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning S-function upgrades needed (SFcnCompatibilityMsg) none error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for parameters

Check diagnostic settings in the model configuration that apply to parameters and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Detect underflow (ParameterUnderflowMsg) none error
Warning Detect precision loss (ParameterPrecisionLossMsg) warning error
Warning Detect loss of tunability (ParameterTunabilityLossMsg) warning error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for Merge blocks

Check diagnostic settings in the model configuration that apply to Merge blocks and might impact safety.

Passed
All constraints on model configuration parameters have been met.

Status Parameter Current Value Recommended Values
Pass Detect multiple driving blocks executing at the same time step (MergeDetectMultiDrivingBlocksExec) error error

  Check safety-related diagnostic settings for model initialization

Check diagnostic settings in the model configuration that affect model initialization and might impact safety.

Passed
All constraints on model configuration parameters have been met.

Status Parameter Current Value Recommended Values
Pass Underspecified initialization detection (UnderspecifiedInitializationDetection) Simplified Simplified

  Check safety-related diagnostic settings for data used for debugging

Check diagnostic settings in the model configuration that apply to data used for debugging and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Model Verification block enabling (AssertControl) UseLocalSettings DisableAll


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for signal connectivity

Check diagnostic settings in the model configuration that apply to signal connectivity and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Signal label mismatch (SignalLabelMismatchMsg) none error
Warning Unconnected block input ports (UnconnectedInputMsg) none error
Warning Unconnected block output ports (UnconnectedOutputMsg) none error
Warning Unconnected line (UnconnectedLineMsg) none error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for bus connectivity

Check diagnostic settings in the model configuration that apply to bus connectivity and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Unspecified bus object at root Outport block (RootOutportRequireBusObject) warning error
Warning Element name mismatch (BusObjectLabelMismatch) warning error
Warning Bus signal treated as vector (StrictBusMsg) ErrorLevel1 ErrorOnBusTreatedAsVector
Warning Non-bus signals treated as bus signals (NonBusSignalsTreatedAsBus) none error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings that apply to function-call connectivity

Check diagnostic settings in the model configuration that apply to function-call connectivity and might impact safety.

Passed
All constraints on model configuration parameters have been met.

Status Parameter Current Value Recommended Values
Pass InvalidFcnCallConnMsg error error
Pass Context-dependent inputs (FcnCallInpInsideContextMsg) error error

  Check safety-related diagnostic settings for type conversions

Check diagnostic settings in the model configuration that apply to type conversions and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Unnecessary type conversions (UnnecessaryDatatypeConvMsg) none warning
Warning Vector/matrix block input conversion (VectorMatrixConversionMsg) none error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for model referencing

Check diagnostic settings in the model configuration that apply to model referencing and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Port and parameter mismatch (ModelReferenceIOMismatchMessage) none error
Warning Invalid root Inport/Outport block connection (ModelReferenceIOMsg) none error
Warning Unsupported data logging (ModelReferenceDataLoggingMessage) warning error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for Stateflow

Check diagnostic settings in the model configuration that apply to Stateflow and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Invalid input data access in chart initialization (SFInvalidInputDataAccessInChartInitDiag) warning error
Warning Transition outside natural parent (SFTransitionOutsideNaturalParentDiag) warning error
Warning Unreachable execution path (SFUnreachableExecutionPathDiag) warning error
Warning Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) warning error
Warning Transition action specified before condition action (SFTransitionActionBeforeConditionDiag) warning error
Warning Absolute time temporal value shorter than sampling period (SFTemporalDelaySmallerThanSampleTimeDiag) warning error
Warning Self-transition on leaf state (SFSelfTransitionDiag) warning error
Warning 'Execute-at-initialization' disabled in presence of input events (SFExecutionAtInitializationDiag) warning error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for signal data

Check diagnostic settings in the model configuration that apply to signal data and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Division by singular matrix (CheckMatrixSingularityMsg) none error
Warning Underspecified data types (UnderSpecifiedDataTypeMsg) none error
Warning Wrap on overflow (IntegerOverflowMsg) warning error
Warning Saturate on overflow (IntegerSaturationMsg) warning error
Warning Inf or NaN block output (SignalInfNanChecking) none error
Warning Simulation range checking (SignalRangeChecking) none error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.



                2.28.1.5 Naming  0  0  0  0  1  1

  Check model file name

Identify inappropriate characters and length issues in model file name.

Passed
No issues found with model file name.

  Check model object names

Not Run



                2.28.1.6 Requirements  0  0  1  0  0  0

  Check for model elements that do not link to requirements

Check for model elements that do not link to a requirements document.

Warning
The following model elements do not link to a requirements document:

Recommended Action
For each model element in the list, in the Model Editor, right-click the model element, select Requirements, and specify a requirement.
Check the Traceability Matrix for viewing requirements and their links to blocks in Simulink model in a compact format.



                2.28.1.7 Code  0  0  1  0  1  0

  Check for blocks not recommended for MISRA C:2012

Passed

  Check configuration parameters for MISRA C:2012

Identify configuration parameters that might impact MISRA C:2012 compliant code generation.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values Prerequisites
Warning Model Verification block enabling (AssertControl) UseLocalSettings DisableAll  
D - Warning Shared code placement (UtilityFuncGeneration) Auto Shared location  
Warning Generate shared constants (GenerateSharedConstants) Prerequisite constraint not met. off UtilityFuncGeneration
D - Warning System target file (SystemTargetFile) Non-ERT based target ERT based target  
Warning SupportContinuousTime Prerequisite constraint not met. off SystemTargetFile
Warning SupportNonInlinedSFcns Prerequisite constraint not met. off SystemTargetFile
Warning MAT-file logging (MatFileLogging) on off  
Warning ParenthesesLevel Prerequisite constraint not met. Standards, Maximum SystemTargetFile
Warning SuppressUnreachableDefaultCases Parameter is inactive! Enable parameter or modify dependent parameter value. off  
Warning CastingMode Prerequisite constraint not met. Standards SystemTargetFile
Warning InternalIdentifier Prerequisite constraint not met. Shortened SystemTargetFile
Warning Use division for fixed-point net slope computation (UseDivisionForNetSlopeComputation) off on, UseDivisionForReciprocalsOfIntegersOnly  
Warning EnableSignedLeftShifts Prerequisite constraint not met. off SystemTargetFile
Warning EnableSignedRightShifts Prerequisite constraint not met. off SystemTargetFile
Warning Inf or NaN block output (SignalInfNanChecking) none warning  
Warning Dynamic memory allocation in MATLAB functions (MATLABDynamicMemAlloc) on off  
Warning Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) warning error  
Warning Compile-time recursion limit for MATLAB functions (CompileTimeRecursionLimit) 50 0  
Warning Enable run-time recursion for MATLAB functions (EnableRuntimeRecursion) on off  
Warning MATLABFcnDesc Prerequisite constraint not met. on GenerateComments, SystemTargetFile
Warning Leverage target hardware instruction set extensions (InstructionSetExtensions) SSE2 None  
∧ Less


Recommended Action
Modify the configuration parameters listed above to the recommended values.



        2.29 Modeling Standards for EN 50128/EN 50657  0  0  29  0  35  36

  Display configuration management data

Not Run

  Display model metrics and complexity report


Simulink

Block Type Count
SimscapeBlock 2

Model complexity information
Display name, level, and depth of subsystems

No subsystems found.

  Check for unconnected objects

Identify unconnected lines, input ports, and output ports in the model

Warning
The following lines, input ports, or output ports are not properly connected in system: untitled

Recommended Action
Connect the blocks specified in the list



            2.29.1 High-Integrity Systems  0  0  28  0  34  35


                2.29.1.1 Simulink  0  0  1  0  10  26

  Check usage of Abs blocks

Not Run

  Check usage of remainder and reciprocal operations

Not Run

  Check usage of square root operations

Not Run

  Check usage of log and log10 operations

Not Run

  Check usage of While Iterator blocks

Identify While Iterator blocks that do not have a positive value for the maximum number of iterations.

Passed
No While Iterator blocks found that might cause infinite loops

  Check usage of For and While Iterator subsystems

Identify sample time-dependent blocks in While and For Iterator subsystems.

Passed
No sample time-dependent blocks in For or While Iterator subsystems.

  Check usage of For Iterator blocks

Not Run

  Check usage of If blocks and If Action Subsystem blocks

Not Run

  Check usage of Switch Case blocks and Switch Case Action Subsystem blocks

Not Run

  Check usage of conditionally executed subsystems

Not Run

  Check usage of Merge blocks

Not Run

  Check relational comparisons on floating-point signals

Not Run

  Check usage of Relational Operator blocks

Not Run

  Check usage of Logical Operator blocks

Not Run

  Check usage of bitwise operations

Not Run

  Check for blocks not recommended for C/C++ production code deployment

Identify blocks not supported by code generation or not recommended for C/C++ production code deployment.

Passed
No blocks found which are not recommended for C/C++ production code deployment.

  Check for inconsistent vector indexing methods

Identify inconsistent usage of vector indexing methods across the model or subsystem.

Passed
No blocks found using inconsistent indexing modes.

  Check data types for blocks with index signals

Not Run

  Check usage of variant blocks

Check variant block settings that might result in code that doesn't trace back to requirements.

Passed
No variant blocks have "VariantActivationTime" set to 'code compile'.

  Check usage of lookup table blocks

Check for Lookup Table blocks, Prelookup blocks and Interpolation blocks that do not generate out-of-range checking code.

Passed
No lookup table blocks found to not generate out-of-range checking code.

  Check usage of Signal Routing blocks

Not Run

  Check for root Input ports with missing properties

Not Run

  Check for root Input ports with missing range definitions

Not Run

  Check for root Output ports with missing range definitions

Not Run

  Check usage of Reciprocal Sqrt blocks

Not Run

  Check usage of Assignment blocks

Not Run

  Check global variables in graphical functions

Identify expressions that both read and write to the same global data.

Passed
No expressions found that both read and write to the same global data.

  Check usage of Gain blocks

Identify Gain blocks with value which resolves to 1.

Passed
No Gain blocks found with value which resolves to 1.

  Check for length of user-defined object names

Not Run

  Check data type of loop control variables

Not Run

  Check for divide-by-zero calculations

Not Run

  Check for parameter tunability ignored for referenced models

Check for models parameter tunability information specified using Model Parameter Configuration dialog boxes.

Passed
No parameters found that lose the tunability defined in the referenced models.

  Check usage of bit-shift operations

Not Run

  Check safety-related diagnostic settings for variants

Check diagnostic settings in the model configuration that apply to variants and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Variant condition mismatch at signal source and destination (VariantConditionMismatch) none error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check for disabled and parameterized library links

Identify disabled and parameterized library links in the model.

Passed
No blocks found that have disabled or parameterized library links.

  Check for root Outports with missing properties

Not Run

  Check for unreachable and dead code

Not Run



                2.29.1.2 Stateflow  0  0  1  0  7  4

  Check state machine type of Stateflow charts

Identify Stateflow Charts whose State Machine Type differs from the type set in the Model Advisor Configuration Editor.

Passed
No Stateflow Charts found that deviate from recommended state machine type.

  Check Stateflow charts for ordering of states and transitions

Identify Stateflow charts that do not use explicit ordering of parallel states and transitions.

Passed
No Stateflow Charts found that deviate from recommended state/transition execution order settings.

  Check usage of recursions

Not Run

  Check Stateflow debugging options

Identify whether Stateflow debugging options are set appropriately.

Warning
The following Stateflow debugging options are not set appropriately:

Parameter Current Value Recommended Values
Wrap on overflow (IntegerOverflowMsg) warning error
Simulation range checking (SignalRangeChecking) none error


Recommended Action
Change the Stateflow debugging options to the recommended value.

  Check Stateflow charts for transition paths that cross parallel state boundaries

Identify transition paths that cross parallel state boundaries in Stateflow charts.

Passed
No transition paths crossing parallel state boundaries were found in Stateflow charts.

  Check for inappropriate use of transition paths

Identify transition paths that go into and out of a state without ending on a substate.

Passed
No transition paths found that go into and out of a state without ending on a substate.

  Check Stateflow charts for strong data typing

Not Run

  Check naming of ports in Stateflow charts

Identify mismatches between names of Stateflow ports and associated signals.

Passed
There are no name mismatches between Stateflow ports and associated signals

  Check scoping of Stateflow data objects

Identify Stateflow data objects with local scope that are not scoped at the chart level or below.

Passed
All Stateflow data objects are properly scoped.

  Check Stateflow charts for uniquely defined data objects

Identify local data identifiers that are defined in multiple scopes within a chart.

Passed
No Stateflow data identifiers found to be defined in multiple scopes.

  Check assignment operations in Stateflow charts

Not Run

  Check Stateflow charts for unary operators

Not Run



                2.29.1.3 MATLAB  0  0  0  0  7  4

  Check usage of standardized MATLAB function headers

Identify usage of standardized function headers in MATLAB function.

Passed
No MATLAB function blocks found without standardized function headers.

  Check for MATLAB Function interfaces with inherited properties

Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity or data type properties.

Passed
No MATLAB Function interfaces with inherited complexity or data type properties found.

  Check MATLAB Function metrics

Identify MATLAB Functions that violate code and complexity metrics.

Passed
No MATLAB Function blocks found that violate code and complexity metrics.

  Check MATLAB Code Analyzer messages

Check MATLAB functions for %#codegen directive, MATLAB Code Analyzer messages, and justification message IDs.

Passed
No MATLAB Function blocks found with Code Analyzer messages, missing %#codegen directive or inappropriate usage of justification message IDs.

  Check if/elseif/else patterns in MATLAB Function blocks

Identify if/elseif/else patterns without appropriate else conditions in embedded MATLAB code.

Passed
No inappropriate if/elseif/else patterns found.

  Check switch statements in MATLAB Function blocks

Identify inappropriately used switch statements in embedded MATLAB code.

Passed
No inappropriately used switch statements found.

  Check usage of relational operators in MATLAB Function blocks

Not Run

  Check usage of logical operators and functions in MATLAB Function blocks

Not Run

  Check type and size of condition expressions

Not Run

  Check MATLAB functions not supported for code generation

Identify MATLAB functions that are not supported for code generation.

Passed
All identified MATLAB functions are supported for code generation.

  Metrics for generated code complexity

Not Run



                2.29.1.4 Configuration  0  0  24  0  8  0

  Check safety-related diagnostic settings for data store memory

Check diagnostic settings in the model configuration that apply to data store memory and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Detect read before write (ReadBeforeWriteMsg) UseLocalSettings EnableAllAsError
Warning Detect write after read (WriteAfterReadMsg) UseLocalSettings EnableAllAsError
Warning Detect write after write (WriteAfterWriteMsg) UseLocalSettings EnableAllAsError
Warning Duplicate data store names (UniqueDataStoreMsg) none error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for saving

Check diagnostic settings in the model configuration that apply to saving model files.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Block diagram contains disabled library links (SaveWithDisabledLinksMsg) warning error
Warning Block diagram contains parameterized library links (SaveWithParameterizedLinksMsg) warning error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related model referencing settings

Check model referencing settings in the model configuration that might impact safety.

Passed
All constraints on model configuration parameters have been met.

Status Parameter Current Value Recommended Values
Pass Rebuild (UpdateModelReferenceTargets) IfOutOfDateOrStructuralChange AssumeUpToDate, IfOutOfDateOrStructuralChange
Pass Pass fixed-size scalar root inputs by value for code generation (ModelReferencePassRootInputsByReference) * on on
Pass Minimize algebraic loop occurrences (ModelReferenceMinAlgLoopOccurrences) off off


Recommended Action


* The Command-Line values provided in the table are reverse of the settings in the Configuration Parameters Dialog. Therefore, 'on' in the Command-Line corresponds to an "Off" setting in the dialog, and 'off' in the Command-Line corresponds to an "On" setting in the dialog.

  Check safety-related code generation settings for comments

Check code generation settings in the model configuration that apply comments and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values Prerequisites
Warning Show eliminated blocks (ShowEliminatedStatement) off on GenerateComments
D - Warning System target file (SystemTargetFile) Non-ERT based target ERT based target  
Warning Verbose comments for 'Model default' storage class (ForceParamTrailComments) off on GenerateComments
Warning ReqsInCode Prerequisite constraint not met. on SystemTargetFile, GenerateComments


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related code generation interface settings

Check code generation interface settings in the model configuration that might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values Prerequisites
Warning Support non-finite numbers (SupportNonFinite) on off  
Warning SupportAbsoluteTime Prerequisite constraint not met. off SystemTargetFile
Warning SupportContinuousTime Prerequisite constraint not met. off SystemTargetFile
D - Warning System target file (SystemTargetFile) Non-ERT based target ERT based target  
Warning SupportNonInlinedSFcns Prerequisite constraint not met. off SystemTargetFile
Warning IncludeMdlTerminateFcn Prerequisite constraint not met. off SystemTargetFile
Warning SuppressErrorStatus Prerequisite constraint not met. on SystemTargetFile
Warning MAT-file logging (MatFileLogging) on off  


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related solver settings for simulation time

Identify if the model Start time is set to 0 and Stop time is less than the Application Life Span.

Passed
No issues found with solver settings for simulation time.

  Check safety-related solver settings for solver options

Check solver settings in the model configuration that apply to solvers and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Type (SolverType) Variable-step Fixed-step
Warning Solver (SolverName) VariableStepAuto FixedStepDiscrete


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related solver settings for tasking and sample-time

Check solver settings in the model configuration that apply to tasking and sample-time constraints and might impact safety.

Passed
All constraints on model configuration parameters have been met.

  Check safety-related diagnostic settings for solvers

Check diagnostic settings in the model configuration that apply to solvers and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Algebraic loop (AlgebraicLoopMsg) warning error
Warning Minimize algebraic loop (ArtificialAlgebraicLoopMsg) warning error
Warning Block priority violation (BlockPriorityViolationMsg) warning error
Warning Automatic solver parameter selection (SolverPrmCheckMsg) none error
Warning State name clash (StateNameClashWarn) none warning


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for sample time

Check diagnostic settings in the model configuration that apply to sample time and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Source block specifies -1 sample time (InheritedTsInSrcMsg) warning error
Warning Enforce sample times specified by Signal Specification blocks (SigSpecEnsureSampleTimeMsg) warning error
Warning Single task data transfer (SingleTaskRateTransMsg) none error
Warning Tasks with equal priority (TasksWithSamePriorityMsg) warning error
Warning Unspecified inheritability of sample time (UnknownTsInhSupMsg) warning error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related optimization settings for logic signals

Check optimization settings in the model configuration that apply to logic signals and might impact safety.

Passed
All constraints on model configuration parameters have been met.

Status Parameter Current Value Recommended Values
Pass Implement logic signals as Boolean data (vs. double) (BooleanDataType) on on

  Check safety-related block reduction optimization settings

Check block reduction optimization settings in the model configuration that might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Block reduction (BlockReduction) on off


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related code generation settings for code style

Check code generation settings in the model configuration that apply to code style and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values Prerequisites
Warning ParenthesesLevel Prerequisite constraint not met. Maximum, Standards SystemTargetFile
Warning PreserveExpressionOrder Prerequisite constraint not met. on SystemTargetFile
D - Warning System target file (SystemTargetFile) Non-ERT based target ERT based target  


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related optimization settings for application lifespan

Check optimization settings in the model configuration that apply to application lifespan and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Application lifespan (days) (LifeSpan) auto inf


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related code generation identifier settings

Check code generation identifier settings in the model configuration that might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values Not Recommended Values Prerequisites
D - Warning System target file (SystemTargetFile) Non-ERT based target ERT based target    
Warning MangleLength Prerequisite constraint not met.   1, 2, 3 SystemTargetFile


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related optimization settings for data initialization

Check optimization settings in the model configuration that apply to data initialization and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values Prerequisites
D - Warning System target file (SystemTargetFile) Non-ERT based target ERT based target  
Warning ZeroExternalMemoryAtStartup* Prerequisite constraint not met. on SystemTargetFile, CodeInterfacePackaging
Warning ZeroInternalMemoryAtStartup* Prerequisite constraint not met. on SystemTargetFile, CodeInterfacePackaging


Recommended Action
Follow the links in the result table to modify the model configuration parameters.


* The Command-Line values provided in the table are reverse of the settings in the Configuration Parameters Dialog. Therefore, 'on' in the Command-Line corresponds to an "Off" setting in the dialog, and 'off' in the Command-Line corresponds to an "On" setting in the dialog.

  Check safety-related optimization settings for data type conversions

Check optimization settings in the model configuration that apply to data type conversions and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Remove code from floating-point to integer conversions that wraps out-of-range values (EfficientFloat2IntCast) off on


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related optimization settings for division arithmetic exceptions

Check optimization settings in the model configuration that apply to division arithmetic exceptions and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values Prerequisites
D - Warning System target file (SystemTargetFile) Non-ERT based target ERT based target  
Warning NoFixptDivByZeroProtection Prerequisite constraint not met. off SystemTargetFile


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related optimization settings for specified minimum and maximum values

Check optimization settings in the model configuration that apply to specified minimum and maximum values and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values Prerequisites
Warning UseSpecifiedMinMax Prerequisite constraint not met. off SystemTargetFile
D - Warning System target file (SystemTargetFile) Non-ERT based target ERT based target  


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related settings for hardware implementation

Check 'Byte ordering' and 'Signed integer division rounds to' parameters
Identify inconsistencies or underspecification of hardware attributes that can lead to incorrect and inefficient generated code.

Passed
Target specification is consistent.

Check whether 'Production hardware' and 'Test hardware' match
Search for 'Test hardware is the same as production hardware' in the Configuration Parameters dialog box and check if it is selected. If it is cleared, identify whether target specifications match.

Passed
'Test hardware is the same as production hardware' is selected or is cleared and the target specifications match.

  Check safety-related diagnostic settings for compatibility

Check diagnostic settings in the model configuration that affect compatibility and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning S-function upgrades needed (SFcnCompatibilityMsg) none error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for parameters

Check diagnostic settings in the model configuration that apply to parameters and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Detect underflow (ParameterUnderflowMsg) none error
Warning Detect precision loss (ParameterPrecisionLossMsg) warning error
Warning Detect loss of tunability (ParameterTunabilityLossMsg) warning error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for Merge blocks

Check diagnostic settings in the model configuration that apply to Merge blocks and might impact safety.

Passed
All constraints on model configuration parameters have been met.

Status Parameter Current Value Recommended Values
Pass Detect multiple driving blocks executing at the same time step (MergeDetectMultiDrivingBlocksExec) error error

  Check safety-related diagnostic settings for model initialization

Check diagnostic settings in the model configuration that affect model initialization and might impact safety.

Passed
All constraints on model configuration parameters have been met.

Status Parameter Current Value Recommended Values
Pass Underspecified initialization detection (UnderspecifiedInitializationDetection) Simplified Simplified

  Check safety-related diagnostic settings for data used for debugging

Check diagnostic settings in the model configuration that apply to data used for debugging and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Model Verification block enabling (AssertControl) UseLocalSettings DisableAll


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for signal connectivity

Check diagnostic settings in the model configuration that apply to signal connectivity and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Signal label mismatch (SignalLabelMismatchMsg) none error
Warning Unconnected block input ports (UnconnectedInputMsg) none error
Warning Unconnected block output ports (UnconnectedOutputMsg) none error
Warning Unconnected line (UnconnectedLineMsg) none error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for bus connectivity

Check diagnostic settings in the model configuration that apply to bus connectivity and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Unspecified bus object at root Outport block (RootOutportRequireBusObject) warning error
Warning Element name mismatch (BusObjectLabelMismatch) warning error
Warning Bus signal treated as vector (StrictBusMsg) ErrorLevel1 ErrorOnBusTreatedAsVector
Warning Non-bus signals treated as bus signals (NonBusSignalsTreatedAsBus) none error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings that apply to function-call connectivity

Check diagnostic settings in the model configuration that apply to function-call connectivity and might impact safety.

Passed
All constraints on model configuration parameters have been met.

Status Parameter Current Value Recommended Values
Pass InvalidFcnCallConnMsg error error
Pass Context-dependent inputs (FcnCallInpInsideContextMsg) error error

  Check safety-related diagnostic settings for type conversions

Check diagnostic settings in the model configuration that apply to type conversions and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Unnecessary type conversions (UnnecessaryDatatypeConvMsg) none warning
Warning Vector/matrix block input conversion (VectorMatrixConversionMsg) none error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for model referencing

Check diagnostic settings in the model configuration that apply to model referencing and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Port and parameter mismatch (ModelReferenceIOMismatchMessage) none error
Warning Invalid root Inport/Outport block connection (ModelReferenceIOMsg) none error
Warning Unsupported data logging (ModelReferenceDataLoggingMessage) warning error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for Stateflow

Check diagnostic settings in the model configuration that apply to Stateflow and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Invalid input data access in chart initialization (SFInvalidInputDataAccessInChartInitDiag) warning error
Warning Transition outside natural parent (SFTransitionOutsideNaturalParentDiag) warning error
Warning Unreachable execution path (SFUnreachableExecutionPathDiag) warning error
Warning Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) warning error
Warning Transition action specified before condition action (SFTransitionActionBeforeConditionDiag) warning error
Warning Absolute time temporal value shorter than sampling period (SFTemporalDelaySmallerThanSampleTimeDiag) warning error
Warning Self-transition on leaf state (SFSelfTransitionDiag) warning error
Warning 'Execute-at-initialization' disabled in presence of input events (SFExecutionAtInitializationDiag) warning error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check safety-related diagnostic settings for signal data

Check diagnostic settings in the model configuration that apply to signal data and might impact safety.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Division by singular matrix (CheckMatrixSingularityMsg) none error
Warning Underspecified data types (UnderSpecifiedDataTypeMsg) none error
Warning Wrap on overflow (IntegerOverflowMsg) warning error
Warning Saturate on overflow (IntegerSaturationMsg) warning error
Warning Inf or NaN block output (SignalInfNanChecking) none error
Warning Simulation range checking (SignalRangeChecking) none error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.



                2.29.1.5 Naming  0  0  0  0  1  1

  Check model file name

Identify inappropriate characters and length issues in model file name.

Passed
No issues found with model file name.

  Check model object names

Not Run



                2.29.1.6 Requirements  0  0  1  0  0  0

  Check for model elements that do not link to requirements

Check for model elements that do not link to a requirements document.

Warning
The following model elements do not link to a requirements document:

Recommended Action
For each model element in the list, in the Model Editor, right-click the model element, select Requirements, and specify a requirement.
Check the Traceability Matrix for viewing requirements and their links to blocks in Simulink model in a compact format.



                2.29.1.7 Code  0  0  1  0  1  0

  Check for blocks not recommended for MISRA C:2012

Passed

  Check configuration parameters for MISRA C:2012

Identify configuration parameters that might impact MISRA C:2012 compliant code generation.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values Prerequisites
Warning Model Verification block enabling (AssertControl) UseLocalSettings DisableAll  
D - Warning Shared code placement (UtilityFuncGeneration) Auto Shared location  
Warning Generate shared constants (GenerateSharedConstants) Prerequisite constraint not met. off UtilityFuncGeneration
D - Warning System target file (SystemTargetFile) Non-ERT based target ERT based target  
Warning SupportContinuousTime Prerequisite constraint not met. off SystemTargetFile
Warning SupportNonInlinedSFcns Prerequisite constraint not met. off SystemTargetFile
Warning MAT-file logging (MatFileLogging) on off  
Warning ParenthesesLevel Prerequisite constraint not met. Standards, Maximum SystemTargetFile
Warning SuppressUnreachableDefaultCases Parameter is inactive! Enable parameter or modify dependent parameter value. off  
Warning CastingMode Prerequisite constraint not met. Standards SystemTargetFile
Warning InternalIdentifier Prerequisite constraint not met. Shortened SystemTargetFile
Warning Use division for fixed-point net slope computation (UseDivisionForNetSlopeComputation) off on, UseDivisionForReciprocalsOfIntegersOnly  
Warning EnableSignedLeftShifts Prerequisite constraint not met. off SystemTargetFile
Warning EnableSignedRightShifts Prerequisite constraint not met. off SystemTargetFile
Warning Inf or NaN block output (SignalInfNanChecking) none warning  
Warning Dynamic memory allocation in MATLAB functions (MATLABDynamicMemAlloc) on off  
Warning Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) warning error  
Warning Compile-time recursion limit for MATLAB functions (CompileTimeRecursionLimit) 50 0  
Warning Enable run-time recursion for MATLAB functions (EnableRuntimeRecursion) on off  
Warning MATLABFcnDesc Prerequisite constraint not met. on GenerateComments, SystemTargetFile
Warning Leverage target hardware instruction set extensions (InstructionSetExtensions) SSE2 None  
∧ Less


Recommended Action
Modify the configuration parameters listed above to the recommended values.



        2.30 Model Metrics  0  0  0  0  9  1


            2.30.1 Count Metrics  0  0  0  0  7  0

  Simulink block metric

Display number of blocks in the model or subsystem.
Passed

Component Blocks
untitled 2

  Subsystem metric

Display number of Subsystems in the model or subsystem.
Passed

Component Subsystems
untitled 0

  Library link metric

Display number of library links in the model or subsystem.
Passed

Component Library Links
untitled 2

  Effective lines of MATLAB code metric

Display number of effective lines of MATLAB code.
No metric data available. Nothing to report for this metric.

Passed

  Stateflow chart objects metric

Display number of Stateflow objects in each chart.
No metric data available. Nothing to report for this metric.

Passed

  Lines of code for Stateflow blocks metric

Display number of code lines for Stateflow blocks.
No metric data available. Nothing to report for this metric.

Passed

  Subsystem depth metric

Display depth of subsystems in the model or subsystem.
Passed

Component Subsystem Depth
untitled 0



            2.30.2 Complexity Metrics  0  0  0  0  0  1

  Cyclomatic complexity metric

Not Run



            2.30.3 Readability Metrics  0  0  0  0  2  0

  Nondescriptive block name metric

Display non-descriptive names of Inport, Outport and Subsystem blocks.
Passed

Component Nondescriptive Names
untitled 0

  Data and structure layer separation metric

Display data and structure layer separation, defined by MAB modeling guideline db_0143.
Passed

Component Non-conforming Blocks
untitled 0



        2.31 Modeling Standards for MAB  0  0  5  0  111  26


            2.31.1 Naming Conventions  0  0  0  0  17  3


                2.31.1.1 General  0  0  0  0  4  0

  Check file names

Check the model file name to ensure that the name complies with the recommended guidelines.

Passed
All files have correct names.

  Check folder names

Check the folder name to ensure that the name complies with the recommended guidelines.

Passed
All folders have correct names.

  Check length of model file name

Check length of model file name

Passed
Model name is valid.

  Check length of folder name at every level of model path

The model file name is: untitled



Passed
Folder names are valid.



                2.31.1.2 Content  0  0  0  0  13  3

  Check subsystem names

Passed

  Check port block names

Passed

  Check character usage in block names

Passed

  Check length of subsystem names

Passed

  Check length of block names

Passed

  Check length of Inport and Outport names

Passed

  Check character usage in signal names and bus names

Identify signal and bus names with invalid characters.

Passed
No invalid characters are used in signal and bus names.

  Check character usage in parameter names

Not Run

  Check length of signal and bus names

Check length of signal and bus names

Passed
All signal and bus names are valid.

  Check length of parameter names

Not Run

  Check character usage in Stateflow data names

Identify Stateflow data names with invalid characters.

Passed
No invalid characters are used in Stateflow data names.

  Check length of Stateflow data name

Check if the length of Stateflow data names are within limit.

Passed
All Stateflow data names are valid.

  Check duplication of Simulink Data names

Simulink Data names should be unique across base workspace, model workspace and data dictionary.

Passed
All Simulink Data names are unique.

  Check unused data in Simulink Model

Not Run

  Check for unused data in Stateflow Charts

Checks if the model parameter 'Unused data, events, messages and functions' is not set to 'none'.

Passed
All constraints on model configuration parameters have been met.

Status Parameter Current Value Recommended Values
Pass Unused data, events, messages and functions (SFUnusedDataAndEventsDiag) warning error, warning

  Check usage of restricted variable names

Identify usage of reserved keywords in MATLAB Function blocks.

Passed
No variable names conflict with reserved keywords



            2.31.2 Simulink  0  0  5  0  43  15


                2.31.2.1 Configuration Parameters  0  0  2  0  2  0

  Check Implement logic signals as Boolean data (vs. double)

Identify whether Implement logic signals as Boolean data (vs. double) is selected.

Passed
Implement logic signals as Boolean data (vs. double) is selected.

  Check Signed Integer Division Rounding mode

jc_0642: Integer rounding mode setting

Identifies blocks with block parameter 'Integer Rounding Mode' set to 'Simplest' when the configuration parameter 'Signed integer division rounds to' is set to 'Undefined'.

Passed
Configuration parameter 'Signed integer division rounds to' is not set to 'Undefined'.

  Check diagnostic settings for incorrect calculation results

Identify data validity diagnostic settings which detect incorrect calculation results.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Division by singular matrix (CheckMatrixSingularityMsg) none error
Warning Inf or NaN block output (SignalInfNanChecking) none error
Warning Wrap on overflow (IntegerOverflowMsg) warning error
Warning Saturate on overflow (IntegerSaturationMsg) warning error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.

  Check model diagnostic parameters

Identify diagnostic parameters that are set to none.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Inf or NaN block output (SignalInfNanChecking) none error, warning
Warning Duplicate data store names (UniqueDataStoreMsg) none error, warning
Warning Unconnected block input ports (UnconnectedInputMsg) none error, warning
Warning Unconnected block output ports (UnconnectedOutputMsg) none error, warning
Warning Unconnected line (UnconnectedLineMsg) none error, warning


Recommended Action
Follow the links in the result table to modify the model configuration parameters.



                2.31.2.2 Diagram Appearance  0  0  3  0  13  1

  Check for Simulink diagrams using nonstandard display attributes

Identify nonstandard display attributes in Simulink diagrams.


_________________________________________________________________________________________

Check format settings
Identify incorrect model-level format options.

Warning
The following format display options are incorrect.

Display Attribute Recommended Value Actual Value
Debug > Information Overlays > Nonscalar Signals on off
Debug > Information Overlays > Show All Links none disabled


Recommended Action
Set the format options to the recommended value.
_________________________________________________________________________________________

Check block colors
Identify blocks using nonstandard colors.

Passed
All blocks use standard colors.
_________________________________________________________________________________________

Check canvas colors
Identify canvases that are not white.

Passed
All diagrams use a white canvas.
_________________________________________________________________________________________

Check diagram zoom
Identify diagrams that do not have zoom factor set to 100 %.
Note: Zoom factors can differ for each instance of a model diagram opened in Simulink Editor

Passed
All canvases have a zoom factor of 100 percent.

  Check Model font settings

Identify blocks and charts with different font settings from input parameters.

Passed
Font settings of the blocks and charts and input parameters are same.

  Check whether block names appear below blocks

Passed

  Check the display attributes of block names

Identify whether to display block names.

Check for blocks with hidden names and obvious function
Identify block names that are displayed but can be hidden due to obvious behavior.

Passed
All blocks with obvious behavior have hidden names.

Check for non-descriptive displayed block names
Identify block names that are displayed but should be hidden due to a lack of a descriptive name.

Passed
All displayed names provide descriptive information.

Check for missing block names
Identify block names that are hidden but should be displayed to show a descriptive name.

Passed
All displayed names provide descriptive information.

  Check for nondefault block attributes

Identify blocks that use and fail to display nondefault values.

Passed
Model displays all block parameter values that are not default values.

  Check Model Description

Identify layers in the model having inconsistent description format.

Warning
Following layers do not have model descriptions:

Recommended Action
Consider adding model description for all the layers.

  Check if blocks are shaded in the model

Check if blocks are shaded in the model

Passed
Blocks in the model are not shaded.

  Check for unconnected signal lines and blocks

Identify unconnected signal lines, subsystems and basic blocks.

Passed
All signal lines and blocks in the model are connected.

  Check signal line connections

Identify intersections and overlaps of signals in a model.

Passed
No signal intersections or overlaps found.

  Check signal flow in model

Check placement of sequential blocks

Warning
The placement of blocks in the following subsystems can be improved:

Recommended Action
Ensure that the signal flow in the mentioned subsystems is from left to right.
  • All sequential blocks, except the blocks on feedback path, must be placed from left to right.
  • All blocks, except the blocks on feedback path, should be oriented to the right.

  Check usage of tunable parameters in blocks

Identify tunable parameters used to specify expressions, data type conversions, or indexing operations.

Passed
Tunable parameters are not used in the model.

  Check connections between structural subsystems

Not Run

  Check for consistency in model element names

Check if model elements connected to a signal are following consistent naming.

Passed
Model elements connected to a signal are following consistent names.

  Check trigger signal names

Identify trigger blocks where the origin of the trigger signal and the destination have dissimilar names.

Passed
No violation of the guideline for use of trigger signal names.

  Check for mixing basic blocks and subsystems

Identify levels in the model that include basic blocks and subsystems. Each level of a model must be designed with blocks of the same level (for example, only subsystems or only basic blocks).

Passed
The model does not mix basic blocks and subsystems at the same level.

  Check for avoiding algebraic loops between subsystems

jc_0653: Delay block layout in feedback loops

Identify delay blocks usage in feedback loops.

Passed
No delay blocks in feedback loops violate the guidelines for avoiding algebraic loops between subsystems.

  Check for prohibited sink blocks

Passed



                2.31.2.3 Signal  0  0  0  0  5  1

  Check usage of vector and bus signals

Not Run

  Check definition of signal labels

Identify blocks that require labeled signals. A subset of source and destination blocks require labeled signals.

Passed
All blocks that require labeled sources have labeled signals.

  Check Signal name propagation

Identify incorrect signal propagation.

Passed
All subsystems and connection blocks display propagated signals.

  Check position of signal labels

Identify inappropriately placed signal labels.

Passed
No signals found with inappropriately placed labels.

  Check signal line labels

Identify blocks that require labeled signals. A subset of source and destination blocks require labeled signals.

Passed
All blocks that require labeled sources have labeled signals.

  Check for propagated signal labels

Identify propagated labels on signal lines.

Passed
All inputs and outputs to the subsystems and blocks have labels and display propagated signals.



                2.31.2.4 Block Consistency  0  0  0  0  4  2

  Check Indexing Mode

Identify blocks and charts with inconsistent Indexing mode.

Passed
No inconsistent Indexing mode used in the model.

  Check block orientation

Passed

  Check if tunable block parameters are defined as named constants

Check if tunable block parameters are defined as named constants

Passed
All tunable block parameters are defined as named constants

  Check for sample time setting

Check if sample time property of a block is set to -1 (inherited).

Passed
All permitted blocks have sample time set to -1 (inherited).

  Check usage of fixed-point data type with non-zero bias

Not Run

  Check type setting by data objects

Not Run



                2.31.2.5 Conditional Subsystem relations  0  0  0  0  4  1

  Check position of conditional blocks and iterator blocks

Identify conditional and iterative blocks that are positioned inconsistently in the model.

Passed
The conditional and iterative blocks are correctly placed in the model.

  Check undefined initial output for conditional subsystems

Not Run

  Check usage of Merge block

jc_0659: Usage restrictions of signal lines input to Merge blocks
There must not be any block between a Conditional Subsystem block and a Merge block.

Passed
No Merge block found.

  Check logical expressions in If blocks

Checks If blocks for complex usage of primary expressions within a logical expression

Passed
Logical expressions inside If blocks are simple

  Check default/else case in Switch Case blocks and If blocks

Check if default/else case in Switch Case blocks and If blocks are set to 'on'

Passed
Conditional Control blocks are valid.



                2.31.2.6 Operation Blocks  0  0  0  0  9  6

  Check fundamental logical and numerical operations

Not Run

  Check usage of Sum blocks

Identify Sum block usage that can affect readability.

Passed
No violations of the guideline found with the usage of the Sum block.

  Check operator order of Product blocks

Passed

  Check signs of input signals in product blocks

Not Run

  Check for parentheses in Fcn block expressions

Identify order of parentheses in Fcn block expressions.

Passed
All Fcn blocks use parentheses to mark operator precedence.

  Check icon shape of Logical Operator blocks

Passed

  Check usage of Relational Operator blocks

Identify Relational Operator blocks that connect to constants with the first (upper) input value.

Passed
This model does not contain Relational Operator blocks.

  Check comparison of floating point types in Simulink

Not Run

  Check usage of Lookup Tables

Check usage of recommended settings for Lookup Table blocks to prevent unexpected results.

Passed
All Lookup Table blocks have recommended settings.

  Check usage of Memory and Unit Delay blocks

Not Run

  Check for cascaded Unit Delay blocks

Identify cascaded and tapped pattern of Unit Delay blocks.

Passed
No cascaded Unit Delay blocks found that can be changed to Tapped Delay/Delay block.

  Check usage of Discrete-Time Integrator block

Check usage of recommended settings for Discrete-Time Integrator blocks to prevent unexpected results.

Passed
All Discrete-Time Integrator blocks have recommended settings.

  Check usage of the Saturation blocks

Not Run

  Check output data type of operation blocks

Identify operation blocks that directly specify the 'Output data type' parameter when changing the data type of the block output signal.

Passed
No operation blocks found that directly specify the 'Output data type' parameter.

  Check for division by zero in Simulink

Not Run



                2.31.2.7 Other blocks  0  0  0  0  6  4

  Check position of Inport and Outport blocks

Identify inappropriately placed Inport and Outport blocks.

Passed
No Inport or Outport blocks found which are inappropriately placed.

  Check display for port blocks

Passed

  Check scope of From and Goto blocks

Not Run

  Check for usage of Data Store Memory blocks

Identify the usage of Data Store Memory blocks.

Passed
Usage of Data Store Memory blocks is correct.

  Check usage of Switch blocks

Not Run

  Check input and output data type for Switch blocks

Not Run

  Check settings for data ports in Multiport Switch blocks

Not Run

  Check for missing ports in Variant Subsystems

Check for number of inputs/outputs to a Variant Subsystem.

Passed
No Variant Subsystems found having different number of inputs/outputs in the Variant Subsystem choices.

  Check use of default variants

na_0036: Default variant

Identify variant subsystems that do not use default variants.

Passed
All variant subsystems in the model use default variants

  Check use of single variable variant conditionals

Identify variant subsystems which use multi-variable compound conditions.

Passed
No variant subsystems with multiple variable compound conditions found



            2.31.3 Stateflow  0  0  0  0  44  6


                2.31.3.1 Block/Data/Events  0  0  0  0  5  1

  Check for names of Stateflow ports and associated signals

Not Run

  Check execution timing for default transition path

'Execute (enter) Chart At Initialization' should be set to OFF.

Passed
All Stateflow Charts pass the check.

  Check definition of Stateflow data

Identify the Scope value set on Stateflow data defined at machine level.

Passed
All Stateflow data at machine level has been defined as per guideline.

  Check usable number for first index

Identify usage of first index of Stateflow data.

Passed
All Stateflow data first index values are uniform.

  Check scope of data in parallel states

jc_0722: Local data definition in parallel states
The scope of local variables should be restricted to one parallel state unless it is being used by other parallel states.

Passed
No Stateflow States were found.

  Check definition of Stateflow events

Stateflow events should be defined at the smallest possible scope of usage.

Passed
All Stateflow events are defined at their smallest scope.



                2.31.3.2 Diagram  0  0  0  0  14  0

  Check for unconnected objects in Stateflow Charts

Identify dangling transitions and unconnected Stateflow States and Junctions in Stateflow Charts.

Passed
No unconnected transitions, states or junctions found in Stateflow Charts.

  Check for exclusive states in state machines

Identify states which are the only substate within a state with OR(exclusive) type decomposition.

Passed
All states with OR(exclusive) type decomposition have more than one substate.

  Check usage of parallel states

Substates of parallel states should not be parallel states.

Passed
All Stateflow Charts pass the check.

  Check Stateflow transition appearance

Identify Stateflow transitions visually overlapping other Stateflow objects.

Passed
No transition violates the guidelines for Stateflow transition appearance.

  Check default transition placement in Stateflow charts

Identify all groupings of states that do not have a default transition or do not have the default state as the top-most state.

Passed
No Stateflow charts and states found that violate the guidelines for default transition placement in Stateflow charts.

  Check usage of transitions to external states

Identify transitions ending on external child states.

Passed
No direct transitions found from external state to child state.

  Check for unexpected backtracking in state transitions

Identify configuration parameter settings which identify unexpected backtracking in state transitions.

Passed
All constraints on model configuration parameters have been met.

Status Parameter Current Value Recommended Values
Pass Unexpected backtracking (SFUnexpectedBacktrackingDiag) error error

  Check usage of internal transition

Internal transition lines should start from the left edge of the state.

Passed
No Stateflow transitions found that violate the guidelines for starting point of internal transition in Stateflow.

  Check usage of internal transitions in Stateflow states

Identify Stateflow states using multiple internal transitions.

Passed
No Stateflow states found with multiple internal transitions

  Check prohibited combination of state action and flow chart

State actions and flow charts should not be combined in states.

Passed
No Stateflow states were found that combine state action and flow chart.

  Check transitions in Stateflow flow charts

Identify transitions in Stateflow flow charts that are drawn incorrectly.

Passed
All Stateflow transitions in flow charts are drawn correctly.

  Check usage of unconditional transitions in flow charts

Identify unconditional transitions in flow charts.

Passed
All unconditional transitions adhere to the guideline.

  Check terminal junctions in Stateflow

Identify usage of terminal junctions in flow charts.

Passed
Multiple terminal junctions were not found.

  Check usage of Stateflow comments

Identify comments that are nested or contain newline(s) in the middle in Stateflow for action language 'C'.

Passed
No comments found that are either nested or contain newline(s) in the middle.



                2.31.3.3 Condition Transition/Action  0  0  0  0  12  5

  Check Stateflow chart action language

Check if the action language of Stateflow charts is set to 'C'.

Passed
All Stateflow Charts have action language set to 'C'.

  Check usage of numeric literals in Stateflow

Identify use of numeric literals in Stateflow states and transitions.

Passed
No numeric literals found in Stateflow charts.

  Check for pointers in Stateflow charts

Identify pointer operations on custom code variables.
Note: This check applies only to Stateflow charts that use C as the action language.

Passed
No pointer operations were found.

  Check usage of events in Stateflow charts

Identify undirected event broadcasts in Stateflow.

Passed
No instances of undirected event broadcast were found.

  Check order of state action types

Identify out of order state action types in Stateflow states.

Passed
No Stateflow states found with out of order state action types

  Check repetition of Action types

jc_0734: Number of state action types
Identifies repeated action types in a Stateflow State.

Passed
No Stateflow States were found.

  Check if state action type 'exit' is used in the model

Check if state action type 'exit' is used in the model.

Passed
State action type 'exit' is not used in the model.

  Check updates to variables used in state transition conditions

jc_0741: Timing to update data used in state chart transition conditions

Variables used in state transition conditions must not perform an update by "during" state action type.

Passed
No Stateflow states found that violate the guidelines for updating the variables used in state transition conditions.

  Check usage of transition conditions in Stateflow transitions

Identify unconditional Stateflow transitions with higher priority than conditional transitions.

Passed
No unconditional Stateflow transitions found with higher priority than conditional transitions

  Check condition actions and transition actions in Stateflow

Identify usage of transition actions in Stateflow.

Passed
No Stateflow charts have transition actions.

  Check for MATLAB expressions in Stateflow blocks

Identify MATLAB expressions that are not suitable for code generation in Stateflow blocks.

Passed
No Stateflow objects found using MATLAB expressions unsuitable for code generation.

  Check usage of floating-point expressions in Stateflow charts

Not Run

  Check Stateflow operators

Not Run

  Check prohibited comparison operation of logical type signals

Not Run

  Check usage of unary minus operations in Stateflow charts

Not Run

  Check for implicit type casting in Stateflow

Not Run

  Check usage of graphical functions in Stateflow

Check for calls between graphical functions.

Passed
No calls between graphical functions were found.



                2.31.3.4 Label Description  0  0  0  0  10  0

  Check uniqueness of Stateflow State, Data and Event names

jc_0732: Distinction between state names, data names, and event names
Identify Stateflow State, Stateflow Data and Stateflow Event that have identical names in a given chart.

Passed
No Stateflow charts were found.

  Check uniqueness of State names

jc_0730: Unique state name in Stateflow blocks
Identifies identical State names within a Stateflow Chart.

Passed
No Stateflow charts were found.

  Check usage of State names

jc_0731: State name format

Identify state names with '/' at its end.

Passed
No Stateflow states were found.

  Check entry formatting in State blocks in Stateflow charts

Identify missing line breaks between entry action (en), during action (du), and exit action (ex) entries in states. Identify missing line breaks after semicolons (;) in statements.

Passed
All state entries found are correctly formatted.

  Check indentation of code in Stateflow states

Identify non-uniform indentation in Stateflow blocks.

Passed
All Stateflow blocks have uniform indentation.

  Check for usage of text inside states

Identify Stateflow states with text exceeding the boundary of the state.

Passed
No Stateflow states found with text exceeding the boundary of the state.

  Check position of label string in Stateflow transition

Identify placement of label string in Stateflow transition.

Passed
All Stateflow transitions are placed uniformly.

  Check position of comments in transition labels

Identify comments in transition labels that are not positioned uniformly.

Passed
Comments in transition labels are positioned uniformly.

  Check usage of parentheses in Stateflow transitions

jc_0752: Condition action in transition label

Start new line before and after parentheses for condition actions in Stateflow transitions.

Passed
No Stateflow Transitions found that violate the requirement for new line for condition actions.

  Check for comments in unconditional transitions

Identify comments in unconditional transitions without action statements.

Passed
All unconditional transitions without action statements have comments.



                2.31.3.5 Miscellaneous  0  0  0  0  3  0

  Check return value assignments in Stateflow graphical functions

Identify graphical functions with multiple assignments of return values in Stateflow charts.

Passed
No Stateflow charts were found.

  Check usage of Simulink functions in Stateflow

Usage of Simulink Functions in Stateflow.

Passed
All Simulink Functions in Stateflow are defined according to the guideline.

  Check use of Simulink in Stateflow charts

na_0039: Limitation on Simulink functions in Chart blocks

Check use of Stateflow charts nested inside Simulink functions used in Stateflow.

Passed
No Stateflow charts found nested inside Simulink functions used in Stateflow.



            2.31.4 MATLAB  0  0  0  0  7  2


                2.31.4.1 Data and Operations  0  0  0  0  2  1

  Check MATLAB code for global variables

Check for global variables in MATLAB code

_________________________________________________________________________________________

Check for global variables in MATLAB code used in MATLAB Function blocks

Passed
No MATLAB Function blocks found
_________________________________________________________________________________________

Check for global variables in MATLAB functions defined in Stateflow charts

Passed
No MATLAB functions defined in Stateflow charts found
_________________________________________________________________________________________

Check for global variables in called MATLAB functions

Passed
No external MATLAB functions found
_________________________________________________________________________________________

  Check usage of enumerated values

Not Run

  Check input and output settings of MATLAB Functions

Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity, data type, or size properties.

Passed
No MATLAB Functions found in the model or subsystem.



                2.31.4.2 Usage  0  0  0  0  5  1

  Check lines of code in MATLAB Functions

Identify MATLAB Functions with high number of effective lines of code.

Passed
No MATLAB Function found with high number of effective lines of code.

  Check the number of function calls in MATLAB Function blocks

Checks whether number of function calls in MATLAB Function blocks is less than 3.

Passed
Number of function calls in MATLAB Function blocks is less than 3.

  Check nested conditions in MATLAB Functions

Identify nested if/else and case statements in MATLAB Functions.

Passed
No MATLAB Function found with deeply nested if/else and case statements.

  Check usage of character vector inside MATLAB Function block

Identify usage of strings in MATLAB Function blocks.

Passed
No character vectors found in MATLAB Function block

  Check usage of recommended patterns for Switch/Case statements

Identify usage of non-constant variables in Switch/Case statements.

Passed
Non-constant variables are not used as Switch/Case arguments

  Check for use of C-style comment symbols

Not Run



        2.32 Modeling Standards for JMAAB v5.1  0  0  4  0  103  25


            2.32.1 Naming Conventions  0  0  0  0  12  2

  Check file names

Check the model file name to ensure that the name complies with the recommended guidelines.

Passed
All files have correct names.

  Check folder names

Check the folder name to ensure that the name complies with the recommended guidelines.

Passed
All folders have correct names.

  Check subsystem names

Passed

  Check port block names

Passed

  Check character usage in block names

Passed

  Check character usage in signal names and bus names

Identify signal and bus names with invalid characters.

Passed
No invalid characters are used in signal and bus names.

  Check character usage in parameter names

Not Run

  Check length of model file name

Check length of model file name

Passed
Model name is valid.

  Check length of folder name at every level of model path

The model file name is: untitled



Passed
Folder names are valid.

  Check length of subsystem names

Passed

  Check length of Inport and Outport names

Passed

  Check length of signal and bus names

Check length of signal and bus names

Passed
All signal and bus names are valid.

  Check length of parameter names

Not Run

  Check length of block names

Passed



            2.32.2 Model Architecture  0  0  0  0  1  0

  Check for mixing basic blocks and subsystems

Identify levels in the model that include basic blocks and subsystems. Each level of a model must be designed with blocks of the same level (for example, only subsystems or only basic blocks).

Passed
The model does not mix basic blocks and subsystems at the same level.



            2.32.3 Model Configuration Options  0  0  1  0  1  0

  Check Implement logic signals as Boolean data (vs. double)

Identify whether Implement logic signals as Boolean data (vs. double) is selected.

Passed
Implement logic signals as Boolean data (vs. double) is selected.

  Check diagnostic settings for incorrect calculation results

Identify data validity diagnostic settings which detect incorrect calculation results.

Warning
The model configuration parameters are not set to the recommended values specified in the data file.

Status Parameter Current Value Recommended Values
Warning Division by singular matrix (CheckMatrixSingularityMsg) none error
Warning Inf or NaN block output (SignalInfNanChecking) none error
Warning Wrap on overflow (IntegerOverflowMsg) warning error
Warning Saturate on overflow (IntegerSaturationMsg) warning error


Recommended Action
Follow the links in the result table to modify the model configuration parameters.



            2.32.4 Simulink  0  0  3  0  39  16

  Check for Simulink diagrams using nonstandard display attributes

Identify nonstandard display attributes in Simulink diagrams.


_________________________________________________________________________________________

Check format settings
Identify incorrect model-level format options.

Warning
The following format display options are incorrect.

Display Attribute Recommended Value Actual Value
Debug > Information Overlays > Nonscalar Signals on off
Debug > Information Overlays > Show All Links none disabled


Recommended Action
Set the format options to the recommended value.
_________________________________________________________________________________________

Check block colors
Identify blocks using nonstandard colors.

Passed
All blocks use standard colors.
_________________________________________________________________________________________

Check canvas colors
Identify canvases that are not white.

Passed
All diagrams use a white canvas.
_________________________________________________________________________________________

Check diagram zoom
Identify diagrams that do not have zoom factor set to 100 %.
Note: Zoom factors can differ for each instance of a model diagram opened in Simulink Editor

Passed
All canvases have a zoom factor of 100 percent.

  Check Model font settings

Identify blocks and charts with different font settings from input parameters.

Passed
Font settings of the blocks and charts and input parameters are same.

  Check position of Inport and Outport blocks

Identify inappropriately placed Inport and Outport blocks.

Passed
No Inport or Outport blocks found which are inappropriately placed.

  Check whether block names appear below blocks

Passed

  Check the display attributes of block names

Identify whether to display block names.

Check for blocks with hidden names and obvious function
Identify block names that are displayed but can be hidden due to obvious behavior.

Passed
All blocks with obvious behavior have hidden names.

Check for non-descriptive displayed block names
Identify block names that are displayed but should be hidden due to a lack of a descriptive name.

Passed
All displayed names provide descriptive information.

Check for missing block names
Identify block names that are hidden but should be displayed to show a descriptive name.

Passed
All displayed names provide descriptive information.

  Check for nondefault block attributes

Identify blocks that use and fail to display nondefault values.

Passed
Model displays all block parameter values that are not default values.

  Check trigger signal names

Identify trigger blocks where the origin of the trigger signal and the destination have dissimilar names.

Passed
No violation of the guideline for use of trigger signal names.

  Check for unconnected signal lines and blocks

Identify unconnected signal lines, subsystems and basic blocks.

Passed
All signal lines and blocks in the model are connected.

  Check usage of Switch blocks

Not Run

  Check usage of Relational Operator blocks

Identify Relational Operator blocks that connect to constants with the first (upper) input value.

Passed
This model does not contain Relational Operator blocks.

  Check Indexing Mode

Identify blocks and charts with inconsistent Indexing mode.

Passed
No inconsistent Indexing mode used in the model.

  Check usage of tunable parameters in blocks

Identify tunable parameters used to specify expressions, data type conversions, or indexing operations.

Passed
Tunable parameters are not used in the model.

  Check definition of signal labels

Identify blocks that require labeled signals. A subset of source and destination blocks require labeled signals.

Passed
All blocks that require labeled sources have labeled signals.

  Check Signal name propagation

Identify incorrect signal propagation.

Passed
All subsystems and connection blocks display propagated signals.

  Check usage of Discrete-Time Integrator block

Check usage of recommended settings for Discrete-Time Integrator blocks to prevent unexpected results.

Passed
All Discrete-Time Integrator blocks have recommended settings.

  Check settings for data ports in Multiport Switch blocks

Not Run

  Check usage of fixed-point data type with non-zero bias

Not Run

  Check input and output data type for Switch blocks

Not Run

  Check signs of input signals in product blocks

Not Run

  Check Signed Integer Division Rounding mode

jc_0642: Integer rounding mode setting

Identifies blocks with block parameter 'Integer Rounding Mode' set to 'Simplest' when the configuration parameter 'Signed integer division rounds to' is set to 'Undefined'.

Passed
Configuration parameter 'Signed integer division rounds to' is not set to 'Undefined'.

  Check type setting by data objects

Not Run

  Check usage of the Saturation blocks

Not Run

  Check usage of Merge block

jc_0659: Usage restrictions of signal lines input to Merge blocks
There must not be any block between a Conditional Subsystem block and a Merge block.

Passed
No Merge block found.

  Check usage of Memory and Unit Delay blocks

Not Run

  Check block orientation

Passed

  Check if blocks are shaded in the model

Check if blocks are shaded in the model

Passed
Blocks in the model are not shaded.

  Check operator order of Product blocks

Passed

  Check icon shape of Logical Operator blocks

Passed

  Check if tunable block parameters are defined as named constants

Check if tunable block parameters are defined as named constants

Passed
All tunable block parameters are defined as named constants

  Check default/else case in Switch Case blocks and If blocks

Check if default/else case in Switch Case blocks and If blocks are set to 'on'

Passed
Conditional Control blocks are valid.

  Check usage of Lookup Tables

Check usage of recommended settings for Lookup Table blocks to prevent unexpected results.

Passed
All Lookup Table blocks have recommended settings.

  Check for parentheses in Fcn block expressions

Identify order of parentheses in Fcn block expressions.

Passed
All Fcn blocks use parentheses to mark operator precedence.

  Check undefined initial output for conditional subsystems

Not Run

  Check for avoiding algebraic loops between subsystems

jc_0653: Delay block layout in feedback loops

Identify delay blocks usage in feedback loops.

Passed
No delay blocks in feedback loops violate the guidelines for avoiding algebraic loops between subsystems.

  Check comparison of floating point types in Simulink

Not Run

  Check duplication of Simulink Data names

Simulink Data names should be unique across base workspace, model workspace and data dictionary.

Passed
All Simulink Data names are unique.

  Check unused data in Simulink Model

Not Run

  Check output data type of operation blocks

Identify operation blocks that directly specify the 'Output data type' parameter when changing the data type of the block output signal.

Passed
No operation blocks found that directly specify the 'Output data type' parameter.

  Check Model Description

Identify layers in the model having inconsistent description format.

Warning
Following layers do not have model descriptions:

Recommended Action
Consider adding model description for all the layers.

  Check for consistency in model element names

Check if model elements connected to a signal are following consistent naming.

Passed
Model elements connected to a signal are following consistent names.

  Check for sample time setting

Check if sample time property of a block is set to -1 (inherited).

Passed
All permitted blocks have sample time set to -1 (inherited).

  Check usage of Sum blocks

Identify Sum block usage that can affect readability.

Passed
No violations of the guideline found with the usage of the Sum block.

  Check position of signal labels

Identify inappropriately placed signal labels.

Passed
No signals found with inappropriately placed labels.

  Check for missing ports in Variant Subsystems

Check for number of inputs/outputs to a Variant Subsystem.

Passed
No Variant Subsystems found having different number of inputs/outputs in the Variant Subsystem choices.

  Check for cascaded Unit Delay blocks

Identify cascaded and tapped pattern of Unit Delay blocks.

Passed
No cascaded Unit Delay blocks found that can be changed to Tapped Delay/Delay block.

  Check for usage of Data Store Memory blocks

Identify the usage of Data Store Memory blocks.

Passed
Usage of Data Store Memory blocks is correct.

  Check fundamental logical and numerical operations

Not Run

  Check signal flow in model

Check placement of sequential blocks

Warning
The placement of blocks in the following subsystems can be improved:

Recommended Action
Ensure that the signal flow in the mentioned subsystems is from left to right.
  • All sequential blocks, except the blocks on feedback path, must be placed from left to right.
  • All blocks, except the blocks on feedback path, should be oriented to the right.

  Check usage of vector and bus signals

Not Run

  Check connections between structural subsystems

Not Run

  Check position of conditional blocks and iterator blocks

Identify conditional and iterative blocks that are positioned inconsistently in the model.

Passed
The conditional and iterative blocks are correctly placed in the model.

  Check signal line connections

Identify intersections and overlaps of signals in a model.

Passed
No signal intersections or overlaps found.

  Check scope of From and Goto blocks

Not Run

  Check for division by zero in Simulink

Not Run

  Check use of single variable variant conditionals

Identify variant subsystems which use multi-variable compound conditions.

Passed
No variant subsystems with multiple variable compound conditions found

  Check logical expressions in If blocks

Checks If blocks for complex usage of primary expressions within a logical expression

Passed
Logical expressions inside If blocks are simple

  Check display for port blocks

Passed

  Check use of default variants

na_0036: Default variant

Identify variant subsystems that do not use default variants.

Passed
All variant subsystems in the model use default variants



            2.32.5 Stateflow  0  0  0  0  47  6

  Check transitions in Stateflow flow charts

Identify transitions in Stateflow flow charts that are drawn incorrectly.

Passed
All Stateflow transitions in flow charts are drawn correctly.

  Check return value assignments in Stateflow graphical functions

Identify graphical functions with multiple assignments of return values in Stateflow charts.

Passed
No Stateflow charts were found.

  Check entry formatting in State blocks in Stateflow charts

Identify missing line breaks between entry action (en), during action (du), and exit action (ex) entries in states. Identify missing line breaks after semicolons (;) in statements.

Passed
All state entries found are correctly formatted.

  Check default transition placement in Stateflow charts

Identify all groupings of states that do not have a default transition or do not have the default state as the top-most state.

Passed
No Stateflow charts and states found that violate the guidelines for default transition placement in Stateflow charts.

  Check definition of Stateflow data

Identify the Scope value set on Stateflow data defined at machine level.

Passed
All Stateflow data at machine level has been defined as per guideline.

  Check for MATLAB expressions in Stateflow blocks

Identify MATLAB expressions that are not suitable for code generation in Stateflow blocks.

Passed
No Stateflow objects found using MATLAB expressions unsuitable for code generation.

  Check for pointers in Stateflow charts

Identify pointer operations on custom code variables.
Note: This check applies only to Stateflow charts that use C as the action language.

Passed
No pointer operations were found.

  Check Stateflow operators

Not Run

  Check usage of unary minus operations in Stateflow charts

Not Run

  Check usage of Stateflow comments

Identify comments that are nested or contain newline(s) in the middle in Stateflow for action language 'C'.

Passed
No comments found that are either nested or contain newline(s) in the middle.

  Check prohibited comparison operation of logical type signals

Not Run

  Check usage of internal transitions in Stateflow states

Identify Stateflow states using multiple internal transitions.

Passed
No Stateflow states found with multiple internal transitions

  Check usage of transition conditions in Stateflow transitions

Identify unconditional Stateflow transitions with higher priority than conditional transitions.

Passed
No unconditional Stateflow transitions found with higher priority than conditional transitions

  Check uniqueness of Stateflow State, Data and Event names

jc_0732: Distinction between state names, data names, and event names
Identify Stateflow State, Stateflow Data and Stateflow Event that have identical names in a given chart.

Passed
No Stateflow charts were found.

  Check uniqueness of State names

jc_0730: Unique state name in Stateflow blocks
Identifies identical State names within a Stateflow Chart.

Passed
No Stateflow charts were found.

  Check usage of parentheses in Stateflow transitions

jc_0752: Condition action in transition label

Start new line before and after parentheses for condition actions in Stateflow transitions.

Passed
No Stateflow Transitions found that violate the requirement for new line for condition actions.

  Check prohibited combination of state action and flow chart

State actions and flow charts should not be combined in states.

Passed
No Stateflow states were found that combine state action and flow chart.

  Check condition actions and transition actions in Stateflow

Identify usage of transition actions in Stateflow.

Passed
No Stateflow charts have transition actions.

  Check usable number for first index

Identify usage of first index of Stateflow data.

Passed
All Stateflow data first index values are uniform.

  Check usage of State names

jc_0731: State name format

Identify state names with '/' at its end.

Passed
No Stateflow states were found.

  Check execution timing for default transition path

'Execute (enter) Chart At Initialization' should be set to OFF.

Passed
All Stateflow Charts pass the check.

  Check repetition of Action types

jc_0734: Number of state action types
Identifies repeated action types in a Stateflow State.

Passed
No Stateflow States were found.

  Check for unused data in Stateflow Charts

Checks if the model parameter 'Unused data, events, messages and functions' is not set to 'none'.

Passed
All constraints on model configuration parameters have been met.

Status Parameter Current Value Recommended Values
Pass Unused data, events, messages and functions (SFUnusedDataAndEventsDiag) warning error, warning

  Check updates to variables used in state transition conditions

jc_0741: Timing to update data used in state chart transition conditions

Variables used in state transition conditions must not perform an update by "during" state action type.

Passed
No Stateflow states found that violate the guidelines for updating the variables used in state transition conditions.

  Check usage of internal transition

Internal transition lines should start from the left edge of the state.

Passed
No Stateflow transitions found that violate the guidelines for starting point of internal transition in Stateflow.

  Check usage of parallel states

Substates of parallel states should not be parallel states.

Passed
All Stateflow Charts pass the check.

  Check scope of data in parallel states

jc_0722: Local data definition in parallel states
The scope of local variables should be restricted to one parallel state unless it is being used by other parallel states.

Passed
No Stateflow States were found.

  Check indentation of code in Stateflow states

Identify non-uniform indentation in Stateflow blocks.

Passed
All Stateflow blocks have uniform indentation.

  Check for usage of text inside states

Identify Stateflow states with text exceeding the boundary of the state.

Passed
No Stateflow states found with text exceeding the boundary of the state.

  Check for unexpected backtracking in state transitions

Identify configuration parameter settings which identify unexpected backtracking in state transitions.

Passed
All constraints on model configuration parameters have been met.

Status Parameter Current Value Recommended Values
Pass Unexpected backtracking (SFUnexpectedBacktrackingDiag) error error

  Check for unconnected objects in Stateflow Charts

Identify dangling transitions and unconnected Stateflow States and Junctions in Stateflow Charts.

Passed
No unconnected transitions, states or junctions found in Stateflow Charts.

  Check position of label string in Stateflow transition

Identify placement of label string in Stateflow transition.

Passed
All Stateflow transitions are placed uniformly.

  Check Stateflow chart action language

Check if the action language of Stateflow charts is set to 'C'.

Passed
All Stateflow Charts have action language set to 'C'.

  Check character usage in Stateflow data names

Identify Stateflow data names with invalid characters.

Passed
No invalid characters are used in Stateflow data names.

  Check length of Stateflow data name

Check if the length of Stateflow data names are within limit.

Passed
All Stateflow data names are valid.

  Check usage of transitions to external states

Identify transitions ending on external child states.

Passed
No direct transitions found from external state to child state.

  Check order of state action types

Identify out of order state action types in Stateflow states.

Passed
No Stateflow states found with out of order state action types

  Check usage of numeric literals in Stateflow

Identify use of numeric literals in Stateflow states and transitions.

Passed
No numeric literals found in Stateflow charts.

  Check position of comments in transition labels

Identify comments in transition labels that are not positioned uniformly.

Passed
Comments in transition labels are positioned uniformly.

  Check terminal junctions in Stateflow

Identify usage of terminal junctions in flow charts.

Passed
Multiple terminal junctions were not found.

  Check for implicit type casting in Stateflow

Not Run

  Check usage of graphical functions in Stateflow

Check for calls between graphical functions.

Passed
No calls between graphical functions were found.

  Check if state action type 'exit' is used in the model

Check if state action type 'exit' is used in the model.

Passed
State action type 'exit' is not used in the model.

  Check for use of C-style comment symbols

Not Run

  Check usage of unconditional transitions in flow charts

Identify unconditional transitions in flow charts.

Passed
All unconditional transitions adhere to the guideline.

  Check for comments in unconditional transitions

Identify comments in unconditional transitions without action statements.

Passed
All unconditional transitions without action statements have comments.

  Check definition of Stateflow events

Stateflow events should be defined at the smallest possible scope of usage.

Passed
All Stateflow events are defined at their smallest scope.

  Check Stateflow transition appearance

Identify Stateflow transitions visually overlapping other Stateflow objects.

Passed
No transition violates the guidelines for Stateflow transition appearance.

  Check usage of events in Stateflow charts

Identify undirected event broadcasts in Stateflow.

Passed
No instances of undirected event broadcast were found.

  Check usage of Simulink functions in Stateflow

Usage of Simulink Functions in Stateflow.

Passed
All Simulink Functions in Stateflow are defined according to the guideline.

  Check for exclusive states in state machines

Identify states which are the only substate within a state with OR(exclusive) type decomposition.

Passed
All states with OR(exclusive) type decomposition have more than one substate.

  Check usage of floating-point expressions in Stateflow charts

Not Run

  Check use of Simulink in Stateflow charts

na_0039: Limitation on Simulink functions in Chart blocks

Check use of Stateflow charts nested inside Simulink functions used in Stateflow.

Passed
No Stateflow charts found nested inside Simulink functions used in Stateflow.



            2.32.6 MATLAB Functions  0  0  0  0  3  1

  Check input and output settings of MATLAB Functions

Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity, data type, or size properties.

Passed
No MATLAB Functions found in the model or subsystem.

  Check MATLAB code for global variables

Check for global variables in MATLAB code

_________________________________________________________________________________________

Check for global variables in MATLAB code used in MATLAB Function blocks

Passed
No MATLAB Function blocks found
_________________________________________________________________________________________

Check for global variables in MATLAB functions defined in Stateflow charts

Passed
No MATLAB functions defined in Stateflow charts found
_________________________________________________________________________________________

Check for global variables in called MATLAB functions

Passed
No external MATLAB functions found
_________________________________________________________________________________________

  Check usage of character vector inside MATLAB Function block

Identify usage of strings in MATLAB Function blocks.

Passed
No character vectors found in MATLAB Function block

  Check usage of enumerated values

Not Run



        2.33 Modeling Standards for JMAAB v6  0  0  3  0  121  28


            2.33.1 Naming Conventions  0  0  0  0  14  4

  Check file names

Check the model file name to ensure that the name complies with the recommended guidelines.

Passed
All files have correct names.

  Check folder names

Check the folder name to ensure that the name complies with the recommended guidelines.

Passed
All folders have correct names.

  Check subsystem names

Passed

  Check port block names

Passed

  Check character usage in block names

Passed

  Check character usage in signal names and bus names

Identify signal and bus names with invalid characters.

Passed
No invalid characters are used in signal and bus names.

  Check character usage in parameter names

Not Run

  Check length of model file name

Check length of model file name

Passed
Model name is valid.

  Check length of folder name at every level of model path

The model file name is: untitled



Passed
Folder names are valid.

  Check length of subsystem names

Passed

  Check length of Inport and Outport names

Passed

  Check length of signal and bus names

Check length of signal and bus names

Passed
All signal and bus names are valid.

  Check length of parameter names

Not Run

  Check length of block names

Passed

  Check data names in MATLAB Functions

Identify data names with invalid characters in MATLAB Functions.

Passed
All the data names in MATLAB Functions use valid characters.

  Check the length of data names in MATLAB Functions

Identify length of data names in MATLAB Functions.

Passed
All data name lengths in MATLAB Functions are under the acceptable limit.

  Check Bus and Enumeration data type names

Not Run

  Check length of Bus and Enumeration data type names

Not Run



            2.33.2 Model Architecture  0  0  0  0  1  0

  Check for mixing basic blocks and subsystems

Identify levels in the model that include basic blocks and subsystems. Each level of a model must be designed with blocks of the same level (for example, only subsystems or only basic blocks).

Passed
The model does not mix basic blocks and subsystems at the same level.



            2.33.3 Model Configuration Options  0  0  0  0  1  0

  Check Implement logic signals as Boolean data (vs. double)

Identify whether Implement logic signals as Boolean data (vs. double) is selected.

Passed
Implement logic signals as Boolean data (vs. double) is selected.



            2.33.4 Simulink  0  0  3  0  40  16

  Check for Simulink diagrams using nonstandard display attributes

Identify nonstandard display attributes in Simulink diagrams.


_________________________________________________________________________________________

Check format settings
Identify incorrect model-level format options.

Warning
The following format display options are incorrect.

Display Attribute Recommended Value Actual Value
Debug > Information Overlays > Nonscalar Signals on off
Debug > Information Overlays > Show All Links none disabled


Recommended Action
Set the format options to the recommended value.
_________________________________________________________________________________________

Check block colors
Identify blocks using nonstandard colors.

Passed
All blocks use standard colors.
_________________________________________________________________________________________

Check canvas colors
Identify canvases that are not white.

Passed
All diagrams use a white canvas.
_________________________________________________________________________________________

Check diagram zoom
Identify diagrams that do not have zoom factor set to 100 %.
Note: Zoom factors can differ for each instance of a model diagram opened in Simulink Editor

Passed
All canvases have a zoom factor of 100 percent.

  Check Model font settings

Identify blocks and charts with different font settings from input parameters.

Passed
Font settings of the blocks and charts and input parameters are same.

  Check position of Inport and Outport blocks

Identify inappropriately placed Inport and Outport blocks.

Passed
No Inport or Outport blocks found which are inappropriately placed.

  Check whether block names appear below blocks

Passed

  Check the display attributes of block names

Identify whether to display block names.

Check for blocks with hidden names and obvious function
Identify block names that are displayed but can be hidden due to obvious behavior.

Passed
All blocks with obvious behavior have hidden names.

Check for non-descriptive displayed block names
Identify block names that are displayed but should be hidden due to a lack of a descriptive name.

Passed
All displayed names provide descriptive information.

Check for missing block names
Identify block names that are hidden but should be displayed to show a descriptive name.

Passed
All displayed names provide descriptive information.

  Check for nondefault block attributes

Identify blocks that use and fail to display nondefault values.

Passed
Model displays all block parameter values that are not default values.

  Check trigger signal names

Identify trigger blocks where the origin of the trigger signal and the destination have dissimilar names.

Passed
No violation of the guideline for use of trigger signal names.

  Check for unconnected signal lines and blocks

Identify unconnected signal lines, subsystems and basic blocks.

Passed
All signal lines and blocks in the model are connected.

  Check usage of Switch blocks

Not Run

  Check usage of Relational Operator blocks

Identify Relational Operator blocks that connect to constants with the first (upper) input value.

Passed
This model does not contain Relational Operator blocks.

  Check Indexing Mode

Identify blocks and charts with inconsistent Indexing mode.

Passed
No inconsistent Indexing mode used in the model.

  Check usage of tunable parameters in blocks

Identify tunable parameters used to specify expressions, data type conversions, or indexing operations.

Passed
Tunable parameters are not used in the model.

  Check definition of signal labels

Identify blocks that require labeled signals. A subset of source and destination blocks require labeled signals.

Passed
All blocks that require labeled sources have labeled signals.

  Check Signal name propagation

Identify incorrect signal propagation.

Passed
All subsystems and connection blocks display propagated signals.

  Check usage of Discrete-Time Integrator block

Check usage of recommended settings for Discrete-Time Integrator blocks to prevent unexpected results.

Passed
All Discrete-Time Integrator blocks have recommended settings.

  Check settings for data ports in Multiport Switch blocks

Not Run

  Check usage of fixed-point data type with non-zero bias

Not Run

  Check input and output data type for Switch blocks

Not Run

  Check signs of input signals in product blocks

Not Run

  Check Signed Integer Division Rounding mode

jc_0642: Integer rounding mode setting

Identifies blocks with block parameter 'Integer Rounding Mode' set to 'Simplest' when the configuration parameter 'Signed integer division rounds to' is set to 'Undefined'.

Passed
Configuration parameter 'Signed integer division rounds to' is not set to 'Undefined'.

  Check type setting by data objects

Not Run

  Check usage of the Saturation blocks

Not Run

  Check usage of Merge block

jc_0659: Usage restrictions of signal lines input to Merge blocks
There must not be any block between a Conditional Subsystem block and a Merge block.

Passed
No Merge block found.

  Check usage of Memory and Unit Delay blocks

Not Run

  Check block orientation

Passed

  Check if blocks are shaded in the model

Check if blocks are shaded in the model

Passed
Blocks in the model are not shaded.

  Check operator order of Product blocks

Passed

  Check icon shape of Logical Operator blocks

Passed

  Check if tunable block parameters are defined as named constants

Check if tunable block parameters are defined as named constants

Passed
All tunable block parameters are defined as named constants

  Check default/else case in Switch Case blocks and If blocks

Check if default/else case in Switch Case blocks and If blocks are set to 'on'

Passed
Conditional Control blocks are valid.

  Check usage of Lookup Tables

Check usage of recommended settings for Lookup Table blocks to prevent unexpected results.

Passed
All Lookup Table blocks have recommended settings.

  Check for parentheses in Fcn block expressions

Identify order of parentheses in Fcn block expressions.

Passed
All Fcn blocks use parentheses to mark operator precedence.

  Check undefined initial output for conditional subsystems

Not Run

  Check for avoiding algebraic loops between subsystems

jc_0653: Delay block layout in feedback loops

Identify delay blocks usage in feedback loops.

Passed
No delay blocks in feedback loops violate the guidelines for avoiding algebraic loops between subsystems.

  Check comparison of floating point types in Simulink

Not Run

  Check duplication of Simulink Data names

Simulink Data names should be unique across base workspace, model workspace and data dictionary.

Passed
All Simulink Data names are unique.

  Check unused data in Simulink Model

Not Run

  Check output data type of operation blocks

Identify operation blocks that directly specify the 'Output data type' parameter when changing the data type of the block output signal.

Passed
No operation blocks found that directly specify the 'Output data type' parameter.

  Check Model Description

Identify layers in the model having inconsistent description format.

Warning
Following layers do not have model descriptions:

Recommended Action
Consider adding model description for all the layers.

  Check for consistency in model element names

Check if model elements connected to a signal are following consistent naming.

Passed
Model elements connected to a signal are following consistent names.

  Check for sample time setting

Check if sample time property of a block is set to -1 (inherited).

Passed
All permitted blocks have sample time set to -1 (inherited).

  Check usage of Sum blocks

Identify Sum block usage that can affect readability.

Passed
No violations of the guideline found with the usage of the Sum block.

  Check position of signal labels

Identify inappropriately placed signal labels.

Passed
No signals found with inappropriately placed labels.

  Check for missing ports in Variant Subsystems

Check for number of inputs/outputs to a Variant Subsystem.

Passed
No Variant Subsystems found having different number of inputs/outputs in the Variant Subsystem choices.

  Check for cascaded Unit Delay blocks

Identify cascaded and tapped pattern of Unit Delay blocks.

Passed
No cascaded Unit Delay blocks found that can be changed to Tapped Delay/Delay block.

  Check for usage of Data Store Memory blocks

Identify the usage of Data Store Memory blocks.

Passed
Usage of Data Store Memory blocks is correct.

  Check fundamental logical and numerical operations

Not Run

  Check signal flow in model

Check placement of sequential blocks

Warning
The placement of blocks in the following subsystems can be improved:

Recommended Action
Ensure that the signal flow in the mentioned subsystems is from left to right.
  • All sequential blocks, except the blocks on feedback path, must be placed from left to right.
  • All blocks, except the blocks on feedback path, should be oriented to the right.

  Check usage of vector and bus signals

Not Run

  Check connections between structural subsystems

Not Run

  Check position of conditional blocks and iterator blocks

Identify conditional and iterative blocks that are positioned inconsistently in the model.

Passed
The conditional and iterative blocks are correctly placed in the model.

  Check signal line connections

Identify intersections and overlaps of signals in a model.

Passed
No signal intersections or overlaps found.

  Check scope of From and Goto blocks

Not Run

  Check for division by zero in Simulink

Not Run

  Check use of single variable variant conditionals

Identify variant subsystems which use multi-variable compound conditions.

Passed
No variant subsystems with multiple variable compound conditions found

  Check logical expressions in If blocks

Checks If blocks for complex usage of primary expressions within a logical expression

Passed
Logical expressions inside If blocks are simple

  Check display for port blocks

Passed

  Check use of default variants

na_0036: Default variant

Identify variant subsystems that do not use default variants.

Passed
All variant subsystems in the model use default variants

  Check for prohibited overlapping or intersecting blocks and signal lines

Identify blocks, block names, signal lines, signal labels, annotations, or block annotations that overlap or intersect visibly.

Passed
No blocks, block names, signal lines, signal labels, annotations, or block annotations overlap or intersect



            2.33.5 Stateflow  0  0  0  0  49  6

  Check transitions in Stateflow flow charts

Identify transitions in Stateflow flow charts that are drawn incorrectly.

Passed
All Stateflow transitions in flow charts are drawn correctly.

  Check return value assignments in Stateflow graphical functions

Identify graphical functions with multiple assignments of return values in Stateflow charts.

Passed
No Stateflow charts were found.

  Check entry formatting in State blocks in Stateflow charts

Identify missing line breaks between entry action (en), during action (du), and exit action (ex) entries in states. Identify missing line breaks after semicolons (;) in statements.

Passed
All state entries found are correctly formatted.

  Check default transition placement in Stateflow charts

Identify all groupings of states that do not have a default transition or do not have the default state as the top-most state.

Passed
No Stateflow charts and states found that violate the guidelines for default transition placement in Stateflow charts.

  db_0125: Stateflow data

Identify the Scope value set on Stateflow data defined at machine level.

Passed
All Stateflow data at machine level has been defined as per guideline.

  Check for MATLAB expressions in Stateflow blocks

Identify MATLAB expressions that are not suitable for code generation in Stateflow blocks.

Passed
No Stateflow objects found using MATLAB expressions unsuitable for code generation.

  Check for pointers in Stateflow charts

Identify pointer operations on custom code variables.
Note: This check applies only to Stateflow charts that use C as the action language.

Passed
No pointer operations were found.

  Check Stateflow operators

Not Run

  Check usage of unary minus operations in Stateflow charts

Not Run

  Check usage of Stateflow comments

Identify comments that are nested or contain newline(s) in the middle in Stateflow for action language 'C'.

Passed
No comments found that are either nested or contain newline(s) in the middle.

  Check prohibited comparison operation of logical type signals

Not Run

  Check usage of internal transitions in Stateflow states

Identify Stateflow states using multiple internal transitions.

Passed
No Stateflow states found with multiple internal transitions

  Check usage of transition conditions in Stateflow transitions

Identify unconditional Stateflow transitions with higher priority than conditional transitions.

Passed
No unconditional Stateflow transitions found with higher priority than conditional transitions

  Check uniqueness of Stateflow State, Data and Event names

jc_0732: Distinction between state names, data names, and event names
Identify Stateflow State, Stateflow Data and Stateflow Event that have identical names in a given chart.

Passed
No Stateflow charts were found.

  Check uniqueness of State names

jc_0730: Unique state name in Stateflow blocks
Identifies identical State names within a Stateflow Chart.

Passed
No Stateflow charts were found.

  Check usage of parentheses in Stateflow transitions

jc_0752: Condition action in transition label

Start new line before and after parentheses for condition actions in Stateflow transitions.

Passed
No Stateflow Transitions found that violate the requirement for new line for condition actions.

  Check prohibited combination of state action and flow chart

State actions and flow charts should not be combined in states.

Passed
No Stateflow states were found that combine state action and flow chart.

  Check condition actions and transition actions in Stateflow

Identify usage of transition actions in Stateflow.

Passed
No Stateflow charts have transition actions.

  Check usable number for first index

Identify usage of first index of Stateflow data.

Passed
All Stateflow data first index values are uniform.

  Check usage of State names

jc_0731: State name format

Identify state names with '/' at its end.

Passed
No Stateflow states were found.

  Check execution timing for default transition path

'Execute (enter) Chart At Initialization' should be set to OFF.

Passed
All Stateflow Charts pass the check.

  Check repetition of Action types

jc_0734: Number of state action types
Identifies repeated action types in a Stateflow State.

Passed
No Stateflow States were found.

  Check for unused data in Stateflow Charts

Checks if the model parameter 'Unused data, events, messages and functions' is not set to 'none'.

Passed
All constraints on model configuration parameters have been met.

Status Parameter Current Value Recommended Values
Pass Unused data, events, messages and functions (SFUnusedDataAndEventsDiag) warning error, warning

  Check updates to variables used in state transition conditions

jc_0741: Timing to update data used in state chart transition conditions

Variables used in state transition conditions must not perform an update by "during" state action type.

Passed
No Stateflow states found that violate the guidelines for updating the variables used in state transition conditions.

  Check usage of internal transition

Internal transition lines should start from the left edge of the state.

Passed
No Stateflow transitions found that violate the guidelines for starting point of internal transition in Stateflow.

  Check usage of parallel states

Substates of parallel states should not be parallel states.

Passed
All Stateflow Charts pass the check.

  Check scope of data in parallel states

jc_0722: Local data definition in parallel states
The scope of local variables should be restricted to one parallel state unless it is being used by other parallel states.

Passed
No Stateflow States were found.

  Check indentation of code in Stateflow states

Identify non-uniform indentation in Stateflow blocks.

Passed
All Stateflow blocks have uniform indentation.

  Check for unexpected backtracking in state transitions

Identify configuration parameter settings which identify unexpected backtracking in state transitions.

Passed
All constraints on model configuration parameters have been met.

Status Parameter Current Value Recommended Values
Pass Unexpected backtracking (SFUnexpectedBacktrackingDiag) error error

  Check for unconnected objects in Stateflow Charts

Identify dangling transitions and unconnected Stateflow States and Junctions in Stateflow Charts.

Passed
No unconnected transitions, states or junctions found in Stateflow Charts.

  Check position of label string in Stateflow transition

Identify placement of label string in Stateflow transition.

Passed
All Stateflow transitions are placed uniformly.

  Check Stateflow chart action language

Check if the action language of Stateflow charts is set to 'C'.

Passed
All Stateflow Charts have action language set to 'C'.

  Check character usage in Stateflow data names

Identify Stateflow data names with invalid characters.

Passed
No invalid characters are used in Stateflow data names.

  Check length of Stateflow data name

Check if the length of Stateflow data names are within limit.

Passed
All Stateflow data names are valid.

  Check usage of transitions to external states

Identify transitions ending on external child states.

Passed
No direct transitions found from external state to child state.

  Check order of state action types

Identify out of order state action types in Stateflow states.

Passed
No Stateflow states found with out of order state action types

  Check usage of numeric literals in Stateflow

Identify use of numeric literals in Stateflow states and transitions.

Passed
No numeric literals found in Stateflow charts.

  Check position of comments in transition labels

Identify comments in transition labels that are not positioned uniformly.

Passed
Comments in transition labels are positioned uniformly.

  Check terminal junctions in Stateflow

Identify usage of terminal junctions in flow charts.

Passed
Multiple terminal junctions were not found.

  Check for implicit type casting in Stateflow

Not Run

  Check usage of graphical functions in Stateflow

Check for calls between graphical functions.

Passed
No calls between graphical functions were found.

  Check if state action type 'exit' is used in the model

Check if state action type 'exit' is used in the model.

Passed
State action type 'exit' is not used in the model.

  Check for use of C-style comment symbols

Not Run

  Check usage of unconditional transitions in flow charts

Identify unconditional transitions in flow charts.

Passed
All unconditional transitions adhere to the guideline.

  Check for comments in unconditional transitions

Identify comments in unconditional transitions without action statements.

Passed
All unconditional transitions without action statements have comments.

  Check definition of Stateflow events

Stateflow events should be defined at the smallest possible scope of usage.

Passed
All Stateflow events are defined at their smallest scope.

  Check Stateflow transition appearance

Identify Stateflow transitions visually overlapping other Stateflow objects.

Passed
No transition violates the guidelines for Stateflow transition appearance.

  Check usage of events in Stateflow charts

Identify undirected event broadcasts in Stateflow.

Passed
No instances of undirected event broadcast were found.

  Check usage of Simulink functions in Stateflow

Usage of Simulink Functions in Stateflow.

Passed
All Simulink Functions in Stateflow are defined according to the guideline.

  Check for exclusive states in state machines

Identify states which are the only substate within a state with OR(exclusive) type decomposition.

Passed
All states with OR(exclusive) type decomposition have more than one substate.

  Check usage of floating-point expressions in Stateflow charts

Not Run

  Check use of Simulink in Stateflow charts

na_0039: Limitation on Simulink functions in Chart blocks

Check use of Stateflow charts nested inside Simulink functions used in Stateflow.

Passed
No Stateflow charts found nested inside Simulink functions used in Stateflow.

  Arrowhead size of transition lines

Identify transition line arrowhead not set to size specified by the project setting

Passed
All transition line arrowhead set to size specified by the project setting.

  Size of junctions

Identify junctions not set to size specified by the project setting

Passed
All junctions set to size specified by the project setting.

  Check for prohibited overlapping of states and transition lines in Stateflow charts

Identify objects in Stateflow charts that visibly overlap.

Passed
Objects in Stateflow charts do not overlap.



            2.33.6 MATLAB Functions  0  0  0  0  16  2

  Check input and output settings of MATLAB Functions

Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity, data type, or size properties.

Passed
No MATLAB Functions found in the model or subsystem.

  Check MATLAB code for global variables

Check for global variables in MATLAB code

_________________________________________________________________________________________

Check for global variables in MATLAB code used in MATLAB Function blocks

Passed
No MATLAB Function blocks found
_________________________________________________________________________________________

Check for global variables in MATLAB functions defined in Stateflow charts

Passed
No MATLAB functions defined in Stateflow charts found
_________________________________________________________________________________________

Check for global variables in called MATLAB functions

Passed
No external MATLAB functions found
_________________________________________________________________________________________

  Check usage of character vector inside MATLAB Function block

Identify usage of strings in MATLAB Function blocks.

Passed
No character vectors found in MATLAB Function block

  Check usage of enumerated values

Not Run

  Check description of execution statements

Identify multiple execution statements that are written in a single line and end without a semicolon.

Passed
All execution statements are written in new lines and end with a semicolon.

  Check for spaces in function or variable names

Identify single-byte spaces between function or variable names and left parenthesis symbol.

Passed
No spaces between function or variable names and left parenthesis symbol.

  Check for operator precedence

Identify expressions that contain operators with different priorities but do not specify clear operator precedence using parentheses.

Passed
All expressions containing operators with different priorities specify clear operator precedence using parentheses.

  Check relational operator usage

Check for correct placement of relational operator operands.

Passed
All relational operator usage is valid.

  Check spaces in expressions

Identify missing spaces before or after binary operators or after commas.
Identify invalid spaces between unary operators and operands.

Passed
All expressions have a space before and after binary operators and after commas, and no space between unary operators and operands.

  Check for usage of non-empty statements

Identify non-empty statements that do not have any effect or do not change the control flow.

Passed
All non-empty statements have a side-effect or change the control flow.

  Check for utilization of the return value of functions.

Be sure to assign the return value of functions to a variable before using it.

Passed
Return value of all functions used was assigned to a variable before using it.

  Check function headers

Identify functions without a function header.

Passed
All functions have a function header.

  Check description of conditional expressions

Not Run

  Check the number of function calls in MATLAB Function blocks

Checks whether number of function calls in MATLAB Function blocks is less than 3.

Passed
Number of function calls in MATLAB Function blocks is less than 3.

  Check nested conditions in MATLAB Functions

Identify nested if/else and case statements in MATLAB Functions.

Passed
No MATLAB Function found with deeply nested if/else and case statements.

  Check usage of recommended patterns for Switch/Case statements

Identify usage of non-constant variables in Switch/Case statements.

Passed
Non-constant variables are not used as Switch/Case arguments

  Check array indices

Identify array indices calculated by an expression.

Passed
Array indices must not be calculated by an expression.

  Check number of lines of functions

Identify functions that contain more lines than the threshold value.

Passed
The number of lines of all functions is less than or equal to the threshold value.



        2.34 Clone Detection and Model Refactoring  0  0  0  0  2  0

  Refactor to simplify bus element blocks

Passed

  Identify clones from a linked library file

Passed



        2.35 Simulink Code Inspector compatibility checks  0  16  0  0  0  53

  Check shared Embedded Code Dictionary configuration

Supported compiler not detected. You can install the freely available MinGW-w64 C/C++ compiler; see Install MinGW-w64 Compiler. For more options, visit https://www.mathworks.com/support/compilers.

  Check code generation settings

Supported compiler not detected. You can install the freely available MinGW-w64 C/C++ compiler; see Install MinGW-w64 Compiler. For more options, visit https://www.mathworks.com/support/compilers.

  Check data import and export settings

Supported compiler not detected. You can install the freely available MinGW-w64 C/C++ compiler; see Install MinGW-w64 Compiler. For more options, visit https://www.mathworks.com/support/compilers.

  Check diagnostic settings

Supported compiler not detected. You can install the freely available MinGW-w64 C/C++ compiler; see Install MinGW-w64 Compiler. For more options, visit https://www.mathworks.com/support/compilers.

  Check hardware implementation settings

Supported compiler not detected. You can install the freely available MinGW-w64 C/C++ compiler; see Install MinGW-w64 Compiler. For more options, visit https://www.mathworks.com/support/compilers.

  Check math and data types settings

Supported compiler not detected. You can install the freely available MinGW-w64 C/C++ compiler; see Install MinGW-w64 Compiler. For more options, visit https://www.mathworks.com/support/compilers.

  Check solver settings

Supported compiler not detected. You can install the freely available MinGW-w64 C/C++ compiler; see Install MinGW-w64 Compiler. For more options, visit https://www.mathworks.com/support/compilers.

  Check for unconnected objects in the model

Supported compiler not detected. You can install the freely available MinGW-w64 C/C++ compiler; see Install MinGW-w64 Compiler. For more options, visit https://www.mathworks.com/support/compilers.

  Check system target file setting

Supported compiler not detected. You can install the freely available MinGW-w64 C/C++ compiler; see Install MinGW-w64 Compiler. For more options, visit https://www.mathworks.com/support/compilers.

  Check function specification setting

Supported compiler not detected. You can install the freely available MinGW-w64 C/C++ compiler; see Install MinGW-w64 Compiler. For more options, visit https://www.mathworks.com/support/compilers.

  Check for usage of fixed-point instrumentation

Not Run

  Check for unsupported blocks

Supported compiler not detected. You can install the freely available MinGW-w64 C/C++ compiler; see Install MinGW-w64 Compiler. For more options, visit https://www.mathworks.com/support/compilers.

  Check storage class for workspace variables

Not Run

  Check GetSet storage class for workspace variables

Not Run

  Check for sample times in the model

Not Run

  Check usage of Sources blocks

Not Run

  Check usage of Signal Routing blocks

Not Run

  Check usage of Math Operations blocks

Not Run

  Check usage of Signal Attributes blocks

Not Run

  Check usage of Logical and Bit Operations blocks

Not Run

  Check usage of Lookup Tables blocks

Not Run

  Check usage of User-Defined Function blocks

Not Run

  Check usage of Ports and Subsystems blocks

Not Run

  Check usage of Discontinuities blocks

Not Run

  Check usage of Sinks blocks

Not Run

  Check usage of Discrete blocks

Not Run

  Check usage of root Outport blocks

Not Run

  Check for unsupported Signal Conversion blocks automatically inserted at signals entering block input ports

Not Run

  Check usage of buses

Not Run

  Check for usage of synthesized local data stores

Not Run

  Check usage of global data stores

Not Run

  Check global data stores' name shadow

Not Run

  Check conditional input branch execution setting

Not Run

  Check usage of Stateflow blocks

Not Run

  Check usage of Stateflow charts

Not Run

  Check usage of Stateflow data

Not Run

  Check usage of Stateflow events

Not Run

  Check usage of Stateflow states

Not Run

  Check usage of Stateflow junctions

Not Run

  Check usage of Stateflow transitions

Not Run

  Check usage of Stateflow graphical functions

Not Run

  Check usage of Stateflow truth tables

Not Run

  Check Loop unrolling threshold setting

Not Run

  Check destinations of If and Switchcase blocks

Not Run

  Check for root Outport blocks that have non-auto storage class

Not Run

  Check for Terminator blocks that connect to Model block outports

Not Run

  Check for unsupported propagation of initial condition values

Not Run

  Check data type replacement names

Not Run

  Check usage of MATLAB Function Blocks

Not Run

  Check usage of Data in MATLAB Functions

Not Run

  Check usage of Code in MATLAB Functions

Supported compiler not detected. You can install the freely available MinGW-w64 C/C++ compiler; see Install MinGW-w64 Compiler. For more options, visit https://www.mathworks.com/support/compilers.

  Check MATLAB Code Analyzer messages

Supported compiler not detected. You can install the freely available MinGW-w64 C/C++ compiler; see Install MinGW-w64 Compiler. For more options, visit https://www.mathworks.com/support/compilers.

  Check for multiple sample times in model used as a model reference target

Not Run

  Check Treat each discrete rate as a separate task setting

Not Run

  Check model for commented out blocks

Not Run

  Check model for void_void subsystems that use the same function name

Not Run

  Check n-D Lookup Table blocks for incompatible breakpoint data type

Not Run

  Check model for reusable subsystems that use the same function interfaces

Not Run

  Check for usage of shared synthesized local data stores

Not Run

  Check the code generation folder structure for the model

Supported compiler not detected. You can install the freely available MinGW-w64 C/C++ compiler; see Install MinGW-w64 Compiler. For more options, visit https://www.mathworks.com/support/compilers.

  Check for unsupported Code Mapping settings

Supported compiler not detected. You can install the freely available MinGW-w64 C/C++ compiler; see Install MinGW-w64 Compiler. For more options, visit https://www.mathworks.com/support/compilers.

  Check model for compiled and graphical block sorted order

Not Run

  Check usage of String blocks

Not Run

  Check usage of shared utilities

Not Run

  Check model arguments for storage classes

Supported compiler not detected. You can install the freely available MinGW-w64 C/C++ compiler; see Install MinGW-w64 Compiler. For more options, visit https://www.mathworks.com/support/compilers.

  Check usage of Stateflow MATLAB action language

Not Run

  Verify 'Generate an example main program' setting of multirate models

Not Run

  Check for unsupported signal identifiers specified in Code Mappings editor

Not Run

  Check usage of Stateflow atomic subcharts

Not Run



        2.36 Frequency Response Estimation  0  0  0  0  0  1

  Identify time-varying source blocks interfering with frequency response estimation

Not Run



        2.37 Simulink Design Verifier Compatibility Check  0  0  0  0  0  1

  Check compatibility with Simulink Design Verifier

Not Run



        2.38 Simulink Design Verifier Design Error Checks  0  0  0  0  0  13

  Check for dead logic

Not Run

  Check for out of bound array access

Not Run

  Check for division by zero

Not Run

  Check for integer overflow

Not Run

  Check for non-finite and NaN floating-point values

Not Run

  Check for subnormal floating-point values

Not Run

  Check for specified minimum and maximum value violations

Not Run

  Check for data store access violations

Not Run

  Check for block input range violations

Not Run

  Check usage of remainder and reciprocal operations - hisl_0002

Not Run

  Check usage of square root operations - hisl_0003

Not Run

  Check usage of log and log10 operations - hisl_0004

Not Run

  Check usage of Reciprocal Square Root Blocks - hisl_0028

Not Run



        2.39 Requirements Consistency Checking  0  0  0  0  4  0

  Identify requirement links with missing documents

Passed

  Identify requirement links that specify invalid locations within documents

Passed

  Identify selection-based links having description fields that do not match their requirements document text

Passed

  Identify requirement links with path type inconsistent with preferences

Passed